@inbook{inbook, title  = {{Reals and Forcing with an Elementary Topos}},

 publisher = {{Springer New York}},

 url = {{https://doi.org/10.1007/978-1-4612-2822-6_15 }},

 year = {{1992}},

 month = {{1}},

 author = {{Mac Lane S and Moerdijk I}},

 doi = {{10.1007/978-1-4612-2822-6_15}},

 isbn = {{9781461276852}},

 pages = {{373-385}},

 note = {{Accessed on 2025/10/10}}}