@article{Taylor_1996,
    doi = {10.2307/2275781},
    url = {https://doi.org/10.2307%2F2275781},
    year = {1996},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {61},
    number = {3},
    pages = {705--744},
    author = {Paul Taylor},
    title = {Intuitionistic sets and ordinals},
    journal = {Journal of Symbolic Logic}
}

@article{Taylor_1996, doi = {10.2307/2275781}, url = {https://doi.org/10.2307%2F2275781}, year = {1996}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {61}, number = {3}, pages = {705--744}, author = {Paul Taylor}, title = {Intuitionistic sets and ordinals}, journal = {Journal of Symbolic Logic} }