Book contents
- Frontmatter
- Contents
- Introduction
- Colloquium Program
- TUTORIAL
- RESEARCH ARTICLES
- Indestructibility and strong compactness
- Some applications of regularmarkers
- Has the continuumhypothesis been settled?
- Geometry of interaction IV: the feedback equation
- On local modularity in homogeneous structures
- Descriptive set theory and uncountable model theory
- Decidable properties of logical calculi and of varieties of algebras
- Stabilization — an alternative to double-negation translation for classical natural deduction
- Definability and reducibility in higher types over the reals
- Predicativity problems in point-free topology
- Rank inequalities in the theory of differentially closed fields
- Consistency and games— in search of new combinatorial principles
- Realizability for constructive Zermelo-Fraenkel set theory
- On long EF-equivalence in non-isomorphic models
- The theory of is undecidable
- Cocovering and set forcing
- References
Realizability for constructive Zermelo-Fraenkel set theory
from RESEARCH ARTICLES
Published online by Cambridge University Press: 30 March 2017
Book contents
- Frontmatter
- Contents
- Introduction
- Colloquium Program
- TUTORIAL
- RESEARCH ARTICLES
- Indestructibility and strong compactness
- Some applications of regularmarkers
- Has the continuumhypothesis been settled?
- Geometry of interaction IV: the feedback equation
- On local modularity in homogeneous structures
- Descriptive set theory and uncountable model theory
- Decidable properties of logical calculi and of varieties of algebras
- Stabilization — an alternative to double-negation translation for classical natural deduction
- Definability and reducibility in higher types over the reals
- Predicativity problems in point-free topology
- Rank inequalities in the theory of differentially closed fields
- Consistency and games— in search of new combinatorial principles
- Realizability for constructive Zermelo-Fraenkel set theory
- On long EF-equivalence in non-isomorphic models
- The theory of is undecidable
- Cocovering and set forcing
- References
- Type
- Chapter
- Information
- Logic Colloquium '03 , pp. 282 - 314Publisher: Cambridge University PressPrint publication year: 2006
References
[1] , The type theoretic interpretation of constructive set theory, Logic colloquium '77 (, , and , editors),NorthHolland,Amsterdam, 1978, pp. 55–66.
[2] , The type theoretic interpretation of constructive set theory: Choice principles, The L.E.J. Brouwer centenary symposium ( and , editors), North Holland, Amsterdam, 1982, pp. 1–40.
[3] , The type theoretic interpretation of constructive set theory: Inductive definitions, Logic, methodology and philosophy of science VII ( et al., editors), North Holland, Amsterdam, 1986, pp. 17–49.
[4] and , Notes on constructive set theory, Technical Report 40, Institut Mittag-Leffler, The Royal Swedish Academy of Sciences, 2001, http://www.ml.kva.se/ preprints/archive2000-2001.php.
[5] , Admissible sets and structures, Springer-Verlag, Berlin, Heidelberg, New York, 1975.
[6] , Continuity in intuitionistic set theories, Logic colloquium '78 (, , and , editors), North-Holland, Amsterdam, 1979.
[7] , Foundations of constructive mathematics, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985.
[8] and , Constructive analysis, Springer-Verlag, Berlin,Heidelberg,New York, Tokyo, 1985.
[9] , A language and axioms for explicit mathematics,Algebra and logic (, editor), Lecture Notes in Mathematics, vol. 450, Springer, Berlin, 1975, pp. 87–139.
[10] , Constructive theories of functions and classes, Logic colloquium '78 (, , and , editors), North-Holland, Amsterdam, 1979, pp. 159–224.
[11] , Some applications of Kleene's method for intuitionistic systems,Cambridge summer school in mathematical logic ( and , editors), Lectures Notes in Mathematics, vol. 337, Springer, Berlin, 1973, pp. 113–170.
[12] , On the interpretation of intuitionistic number theory, The Journal of Symbolic Logic, vol. 10 (1945), pp. 109–124.Google Scholar
[13] and , Formal systems for some branches of intuitionistic analysis, Annals of Mathematical Logic, vol. 1 (1970), pp. 229–387.Google Scholar
[14] , An intuitionistic theory of types: predicative part, Logic colloquium '73 ( and , editors), North-Holland, Amsterdam, 1975, pp. 73–118.
[15] , Intuitionistic type theory, Bibliopolis, Naples, 1984.
[16] ,Realizability and recursive mathematics, Ph.D. thesis, Oxford University, 1984.
[17] , Some properties of intuitionistic Zermelo-Fraenkel set theory,Cambridge summer school in mathematical logic ( and , editors), Lectures Notes inMathematics, vol. 337, Springer, Berlin, 1973, pp. 206–231.
[18] , Constructive set theory, The Journal of Symbolic Logic, vol. 40 (1975), pp. 347–382.Google Scholar
[19] , The strength of some Martin-Löf type theories, Archive for Mathematical Logic, vol. 33 (1994), pp. 347–385.Google Scholar
[20] , The anti-foundation axiom in constructive set theories, Games, logic, and constructive sets ( and , editors), CSLI Publications, Stanford, 2003, pp. 87–108.
[21] and , Constructivism in mathematics, Volumes I, II, North Holland, Amsterdam, 1988.
- 1
- Cited by