Coding the Universe

Cambridge University Press (1982)
  Copy   BIBTEX

Abstract

Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set theory together with the Generalized Continuum Hypothesis by using a class 'forcing' construction. By this method they extend M to another model L[a] with the same properties. L[a] is Gödels universe of 'constructible' sets L, together with a set of integers a which code all the cardinality and cofinality structure of M. Some applications are also considered. Graduate students and research workers in set theory and logic will be especially interested by this account.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A guide to "coding the universe" by Beller, Jensen, Welch.Sy D. Friedman - 1985 - Journal of Symbolic Logic 50 (4):1002-1019.
Set Theory and Logic.Robert Roth Stoll - 2012 - San Francisco and London: Courier Corporation.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Sets, Logic, and Axiomatic Theories.Alfons Borgers - 2003 - San Francisco, CA, USA: W.H. Freeman.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
A simpler proof of Jensen's coding theorem.Sy D. Friedman - 1994 - Annals of Pure and Applied Logic 70 (1):1-16.
Set Theory and Its Logic.J. C. Shepherdson & Willard Van Orman Quine - 1965 - Philosophical Quarterly 15 (61):371.
Introduction to axiomatic set theory.Gaisi Takeuti - 1971 - New York,: Springer Verlag. Edited by Wilson M. Zaring.

Analytics

Added to PP
2015-02-03

Downloads
22 (#729,236)

6 months
6 (#581,938)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
Characterizations of pretameness and the Ord-cc.Peter Holy, Regula Krapf & Philipp Schlicht - 2018 - Annals of Pure and Applied Logic 169 (8):775-802.
The Transfinite Universe.W. Hugh Woodin - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 449.
Results on the Generic Kurepa Hypothesis.R. B. Jensen & K. Schlechta - 1990 - Archive for Mathematical Logic 30 (1):13-27.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references