Bibliography
Published online by Cambridge University Press: 30 March 2017
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Constructibility , pp. 415 - 418Publisher: Cambridge University PressPrint publication year: 2017
References
1975 Admissible Sets and Structures. Springer-Verlag
, 1973 Model Theory. North Holland
1973 Aspects of Constructibility. Springer-Verlag: Lecture Notes in Mathematics 354
1979 Fundamentals of Contemporary Set Theory. Springer-Verlag
, 1975 Marginalia to a Theorem of Silver. In “Logic Conference Kiel 1974”. Springer- Verlag: Lecture Notes in Mathematics 499, 115–142
, 1974 The Souslin Problem. Springer-Verlag: Lecture Notes in Mathematics 405
1984 Another Look at Gap-1 Morasses. Proc. Cornell Meeting 1982
1974 Set Theory: An Introduction to Large Cardinals. North Holland
1956 Eine Bemerkung zur Theorie der Regressiven Funktionen. Acta Sci. Math. (Szeged) 17, 139–142Google Scholar
1974 Set-Theoretic Functions for Elementary Syntax. In “Axiomatic Set Theory”. Proc. Symp. in Pure Math. 13, Part II (ed. ), Amer. Math. Soc.Google Scholar
1938 The Consistency of the Axiom of Choice and of the Generalised Continuum Hypothesis. Proc. Natl. Acad. USA 24, 556–557
1939 Consistency Proof for the Generalised Continuum Hypothesis. Proc. Natl. Acad. USA 25, 220–224
1940 The Consistency of the Axiom of Choice and of the Generalised Continuum Hypothesis. Ann. Math. Studies 3Google Scholar
1976 Higher Souslin Trees and the Generalised Continuum Hypothesis. J. Symb. Logic 14, 663–671Google Scholar
1956 On a Consistency Theorem Connected with the Generalised Continuum Problem. Zeit. Math. Logik 2, 131–136Google Scholar
1978 Set Theory. Academic Press
1968 Souslin's Hypothesis is Incompatible with V = L. Notices Amer. Math. Soc. 15, 935Google Scholar
1972 The Fine Structure of the Constructive Hierarchy. Annals of Math. Logic 4, 229–308Google Scholar
, 1971 Primitive Recursive Set Functions. In Axiomatic Set Theory: Proc. Symp. Pure Math. 13, (ed. ), Amer. Math. Soc. 143–167Google Scholar
1982 On Silver's and Related Principles. In “Logic Colloquium '80” (ed. et al.), North Holland
1967 A Proof of the Relative Consistency of the Continuum Hypothesis. In “Sets, Models and Recursion Theory” (ed. ), North Holland, 1–32
1964 Transfinite Recursion on Admissible Ordinals, I, II. J. Symbolic Logic 29, 161–162Google Scholar
1935 Ensembles Ordonnés et Ramifiés. Publ. Math. Univ. Belgrade 4, 1–138
1957 Indépendence Conditionnelle de V = L et d'Axiomes qui se Rattachent au Systeme de M. Gödel. C.R. Acad. Sci. Paris 245, 1582–1583
1960 Axiom Schemata of Strong Infinity in Axiomatic Set Theory. Pacific J. Math. 10, 223–238Google Scholar
1979 Basic Set Theory. Springer-Verlag
1972 Aronszajn Trees and the Independence of the Transfer Property. Annals Math. Logic 5, 21–46Google Scholar
1961 Fraenkel's Addition to the Axioms of Zermelo. In “Essays on the Foundations of Mathematics” (ed. et al.). The Magnes Press (Jerusalem), 91–114
1966 Foundations of Recursion Theory. PhD thesis, Stanford University
1971 Some Strong Axioms of Infinity Incompatible with the Axiom of Constructibility. Ann. of Math. Logic 3, 1–44Google Scholar
1953 18, 145–167
1971a The Independence of Kurepa's Conjecture and Two-Cardinal Conjectures in Model Theory. In “Axiomatic Set Theory”, proc. Symp. in Pure Math. 13 (ed. ), Amer. Math. Soc. 383–390Google Scholar
1975 L-Like Models of Set Theory: Forcing, Combinatorial Principles, and Morasses. PhD Thesis (Berkeley)