Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory (2003)

by Alex Simpson
Venue:In Proc. 17th IEEE Symposium on Logic in Computer Science
Citations:9 - 2 self

Documents Related by Co-Citation

27 Elementary axioms for categories of classes – A K Simpson - 1999
29 Realizability and Recursive Mathematics – D C McCarty - 1984
53 First steps in synthetic domain theory – Martin Hyland - 1991
120 The type theoretic interpretation of constructive set theory: inductive definitions – Peter Aczel - 1986
13 Algebraic models of intuitionistic theories of sets and classes. Theory and applications of categories – Steve Awodey, Henrik Forssell, S. Awodey, H. Forssell
23 The consistency of classical set theory relative to a set theory with intuitionistic logic – H Friedman - 1973
9 Constructive set theories and their category-theoretic models – Alex Simpson - 2005
9 Oosten, Algebraic Set Theory and the Effective Topos – C Kouwenhoven-Gentil, J van - 2005
6 On set theories and toposes – S Hayashi - 1980
930 Categories for the Working Mathematician – S Mac Lane - 1971
141 Introduction to Higher-Order Categorical Logic – J Lambek, P Scott - 1986
40 Algebraic Set Theory – A Joyal, I Moerdijk - 1995
17 Sketches of an Elephant – P T Johnstone - 2003
11 Predicative algebraic set theory. Theory and Applications of Categories 15(1 – S Awodey, M A Warren - 2005
18 Presheaf models of constructive set theories – Nicola Gambino - 2004
42 A completeness theorem for open maps – A Joyal, I Moerdijk - 1994
7 A categorical theory of cumulative hierarchies of sets. Comptes Rendus Mathématiques de l’Académie des Science 13 – A Joyal, I Moerdijk - 1991
3 Algebraic models of sets and classes in categories of ideals – Steve Awodey, Henrik Forssell, Michael A. Warren - 2006
3 Foundations by using categories with elements. 2000 Annual Meeting of the Association for Symbolic Logic – S Mac Lane - 2000