TY  - BOOK
AU  - Beller,A.
AU  - Jensen,Ronald Björn
AU  - Welch,P.
TI  - Coding the universe
T2  - London Mathematical Society lecture note series
SN  - 9780511629198 (ebook)
AV  - QA248 .B45 1982
U1  - 511.3/22 19
PY  - 1982///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Axiomatic set theory
KW  - Logic, Symbolic and mathematical
N1  - Title from publisher's bibliographic system (viewed on 05 Oct 2015)
N2  - 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
UR  - https://doi.org/10.1017/CBO9780511629198
ER  -