Realizability for Constructive Zermelo-Fraenkel Set Theory

[9] S. Feferman: A language and axioms for explicit mathematics, in: J.N. Crossley(ed.): Algebra and Logic, Lecture Notes in Math. 450 (Springer, Berlin 1975)87–139.[10] S. Feferman: Constructive theories of functions and classes in: Boffa, M., vanDalen, D., McAloon, K. (eds.), Logic Colloquium ’78 (North-Holland, Amsterdam1979) 159–224.[11] H. Friedman: Some applications of Kleene’s method for intuitionistic systems. In:A. Mathias and H. Rogers (eds.): Cambridge Summer School in MathematicalLogic, volume 337 of Lectures Notes in Mathematics (Springer, Berlin, 1973)113–170.[12] S.C. Kleene: On the interpretation of intuitionistic number theory. Journal ofSymbolic Logic 10 (1945) 109–124.[13] G. Kreisel and A.S. Troelstra: Formal systems for some branches of intuitionisticanalysis. Annals of Mathematical Logic 1 (1970) 229–387.[14] P. Martin-Löf: An intuitionistic theory of types: predicative part, in: H.E. Roseand J. Sheperdson (eds.): Logic Colloquium ’73 (North-Holland, Amsterdam,1975) 73–118.[15] P. Martin-Löf: Intuitionistic Type Theory, (Bibliopolis, Naples, 1984).[16] D.C. McCarty: Realizability and recursive mathematics, PhD thesis, Oxford University(1984), 281 pages.[17] J. Myhill: Some properties of Intuitionistic Zermelo-Fraenkel set theory. In: A.Mathias and H. Rogers (eds.): Cambridge Summer School in Mathematical Logic,volume 337 of Lectures Notes in Mathematics (Springer, Berlin, 1973) 206–231.[18] J. Myhill: Constructive set theory. Journal of Symbolic Logic, 40:347–382, 1975.[19] M. Rathjen: Fragments of Kripke-Platek set theory with infinity, in: P. Aczel,H. Simmons, S. Wainer (eds.): Proof Theory (Cambridge University Press, Cambridge,1992) 251–273.[20] M. Rathjen: The strength of some Martin-Löf type theories. Archive for MathematicalLogic, 33:347–385, 1994.[21] M. Rathjen: The anti-foundation axiom in constructive set theories. In: G. Mints,R. Muskens (eds.): Games, Logic, and Constructive Sets. (CSLI Publications,Stanford, 2003) 87–108.[22] A.S. Troelstra and D. van Dalen: Constructivism in Mathematics, Volumes I, II.(North Holland, Amsterdam, 1988).34