Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Recommended product

Popular links

Popular links


Coding the Universe

Coding the Universe

Coding the Universe

A. Beller, Materials Development Division, Harwell Laboratory
R. Jensen, Mathematisches Institut, University of Freiburg
P. Welch, Mathematical Institute, University of Oxford
January 1982
Paperback
9780521280402
£81.00
GBP
Paperback
USD
eBook

    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.

    Product details

    January 1982
    Paperback
    9780521280402
    360 pages
    229 × 152 × 20 mm
    0.53kg
    Available

    Table of Contents

    • An introduction
    • 1. The building blocks
    • 2. The conditions
    • 3. Distributivity
    • 4. The denouement
    • 5. Applications
    • 6. The fine-structural lemmas
    • 7. The Cohen-generic sets
    • 8. How to get rid of "¬0 #"
    • 9. Some further applications.
      Authors
    • A. Beller , Materials Development Division, Harwell Laboratory
    • R. Jensen , Mathematisches Institut, University of Freiburg
    • P. Welch , Mathematical Institute, University of Oxford