Abstract.
After introducing the large set notion of Mahloness, this paper shows that constructive set theory with an axiom asserting the existence of a Mahlo set has a realizability interpretation in an extension of Martin-Löf type theory developed by A. Setzer.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 5 September 2000 Published online: 19 December 2002
Rights and permissions
About this article
Cite this article
Rathjen, M. Realizing Mahlo set theory in type theory. Arch. Math. Logic 42, 89–101 (2003). https://doi.org/10.1007/s00153-002-0159-6
Issue Date:
DOI: https://doi.org/10.1007/s00153-002-0159-6