Skip to main content Accessibility help
×
Home
Constructibility
  • Export citation
  • Recommend to librarian
  • Buy the print book

Book description

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the sixth publication in the Perspectives in Logic series, Keith J. Devlin gives a comprehensive account of the theory of constructible sets at an advanced level. The book provides complete coverage of the theory itself, rather than the many and diverse applications of constructibility theory, although applications are used to motivate and illustrate the theory. The book is divided into two parts: Part I (Elementary Theory) deals with the classical definition of the Lα-hierarchy of constructible sets and may be used as the basis of a graduate course on constructibility theory. and Part II (Advanced Theory) deals with the Jα-hierarchy and the Jensen 'fine-structure theory'.

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Send to Kindle
  • Send to Dropbox
  • Send to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
×

Contents

Bibliography
Barwise, J. 1975 Admissible Sets and Structures. Springer-Verlag
Beller, A., Litman, A. 1980 A Strengthening of Jensen's □ Principles. J. Symbolic Logic 45, 251–264
Chang, C. C., Keisler, H. J. 1973 Model Theory. North Holland
Devlin, K. J. 1973 Aspects of Constructibility. Springer-Verlag: Lecture Notes in Mathematics 354
Devlin, K. J. 1979 Fundamentals of Contemporary Set Theory. Springer-Verlag
Devlin, K. J. 1979a Variations on ◊. J. Symbolic Logic 44, 51–58
Devlin, K. J., Jensen, R. B. 1975 Marginalia to a Theorem of Silver. In “Logic Conference Kiel 1974”. Springer- Verlag: Lecture Notes in Mathematics 499, 115–142
Devlin, K. J., Johnbråten, H. 1974 The Souslin Problem. Springer-Verlag: Lecture Notes in Mathematics 405
Donder, H. D. 1984 Another Look at Gap-1 Morasses. Proc. Cornell Meeting 1982
Drake, F. R. 1974 Set Theory: An Introduction to Large Cardinals. North Holland
Fodor, G. 1956 Eine Bemerkung zur Theorie der Regressiven Funktionen. Acta Sci. Math. (Szeged) 17, 139–142
Gaifman, H. 1964 Measurable Cardinals and Constructible Sets. Notices Amer. Math. Soc. 11, 771
Gandy, R. 1974 Set-Theoretic Functions for Elementary Syntax. In “Axiomatic Set Theory”. Proc. Symp. in Pure Math. 13, Part II (ed. Mathias, A.), Amer. Math. Soc.
Gödel, K. 1938 The Consistency of the Axiom of Choice and of the Generalised Continuum Hypothesis. Proc. Natl. Acad. USA 24, 556–557
Gödel, K. 1939 Consistency Proof for the Generalised Continuum Hypothesis. Proc. Natl. Acad. USA 25, 220–224
Gödel, K. 1940 The Consistency of the Axiom of Choice and of the Generalised Continuum Hypothesis. Ann. Math. Studies 3
Gregory, J. 1976 Higher Souslin Trees and the Generalised Continuum Hypothesis. J. Symb. Logic 14, 663–671
Hajnal, A. 1956 On a Consistency Theorem Connected with the Generalised Continuum Problem. Zeit. Math. Logik 2, 131–136
Jech, T. 1978 Set Theory. Academic Press
Jensen, R. B. 1968 Souslin's Hypothesis is Incompatible with V = L. Notices Amer. Math. Soc. 15, 935
Jensen, R. B. 1972 The Fine Structure of the Constructive Hierarchy. Annals of Math. Logic 4, 229–308
Jensen, R. B., Karp, C. 1971 Primitive Recursive Set Functions. In Axiomatic Set Theory: Proc. Symp. Pure Math. 13, (ed. Scott, D.), Amer. Math. Soc. 143–167
Kanamori, A. 1982 On Silver's and Related Principles. In “Logic Colloquium '80” (ed. van Dalen, et al.), North Holland
Karp, C. 1967 A Proof of the Relative Consistency of the Continuum Hypothesis. In “Sets, Models and Recursion Theory” (ed. Crossley, J.), North Holland, 1–32
Kripke, S. 1964 Transfinite Recursion on Admissible Ordinals, I, II. J. Symbolic Logic 29, 161–162
Kurepa, D. 1935 Ensembles Ordonnés et Ramifiés. Publ. Math. Univ. Belgrade 4, 1–138
Lévy, A. 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
Lévy, A. 1960 Axiom Schemata of Strong Infinity in Axiomatic Set Theory. Pacific J. Math. 10, 223–238
Lévy, A. 1965 A Hierarchy of Formulas in Set Theory. Memoirs Amer. Math. Soc. 57
Lévy, A. 1979 Basic Set Theory. Springer-Verlag
Mitchell, W. 1972 Aronszajn Trees and the Independence of the Transfer Property. Annals Math. Logic 5, 21–46
Montague, R. M. 1961 Fraenkel's Addition to the Axioms of Zermelo. In “Essays on the Foundations of Mathematics” (ed. Bar-Hillel, Y. et al.). The Magnes Press (Jerusalem), 91–114
Morley, M., Vaught, R. 1962 Homogeneous Universal Models. Math. Scand. 11, 37–57
Mostowski, A. 1949 An Undecidable Arithmetical Statement. Fund. Math. 36, 143–164
Platek, R. 1966 Foundations of Recursion Theory. PhD thesis, Stanford University
Prikry, K. L., Solovay, R. M. 1975 On Partitions into Stationary Sets. J. Symbolic Logic 40, 75–80
Rowbottom, F. 1971 Some Strong Axioms of Infinity Incompatible with the Axiom of Constructibility. Ann. of Math. Logic 3, 1–44
Shelah, S., Stanley, L. J. 1983 S-Forcing, I: A “Black Box” Theorem for Morasses
Shepherdson, J. 1951/52 Inner Models of Set Theory. J. Symbolic Logic 16, 161–190; 17, 225–237;
Shepherdson, J. 1953 18, 145–167
Silver, J. H. 1971 Some Applications of Model Theory in Set Theory. Ann. of Math. Logic 3, 45–110
Silver, J. H. 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. Scott, D.), Amer. Math. Soc. 383–390
Solovay, R. M. 1967 A Nonstructible Δ13 Set of Integers. Trans. Amer. Math. Soc. 127, 50–75
Solovay, R. M., Tennenbaum, S. 1971 Iterated Cohen Extensions and Souslin's Problem. Ann. of Math. 94, 201–245
Souslin, M. 1920 Problème 3. Fund. Math. 1, 223
Stanley, L. J. 1975 L-Like Models of Set Theory: Forcing, Combinatorial Principles, and Morasses. PhD Thesis (Berkeley)
Todorcevic, S. 1983 Trees and Linearly Ordered Sets. In “Topology Handbook
Velleman, D. 1984 Simplified Morasses. J. Symbolic Logic
Velleman, D. 1984a Simplified Morasses with Linear Limits. J. Symbolic Logic

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Book summary page views

Total views: 0 *
Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed