Book:Raymond M. Smullyan/Set Theory and the Continuum Problem/Revised Edition

From ProofWiki
Jump to: navigation, search

Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (Revised Edition)

Published $2010$, Dover

ISBN 0-486-47484-4.


Subject Matter


Contents

Preface to the Revised Edition
Preface
I AXIOMATIC SET THEORY
CHAPTER 1 GENERAL BACKGROUND
CHAPTER 2 SOME BASICS OF CLASS-SET THEORY
CHAPTER 3 THE NATURAL NUMBERS
CHAPTER 4 SUPERINDUCTION, WELL ORDERING AND CHOICE
CHAPTER 5 ORDINAL NUMBERS
CHAPTER 6 ORDER ISOMORPHISM AND TRANSFINITE RECURSION
CHAPTER 7 RANK
CHAPTER 8 FOUNDATION, $\epsilon$-INDUCTION, AND RANK
CHAPTER 9 CARDINALS
II CONSISTENCY OF THE CONTINUUM HYPOTHESIS
CHAPTER 10 MOSTOWSKI-SHEPHERDSON MAPPINGS
CHAPTER 11 REFLECTION PRINCIPLES
CHAPTER 12 CONSTRUCTIBLE SETS
CHAPTER 13 $L$ IS A WELL-FOUNDED FIRST-ORDER UNIVERSE
CHAPTER 14 CONSTRUCTIBILITY IS ABSOLUTE OVER $L$
CHAPTER 15 CONSTRUCTIBILITY AND THE CONTINUUM HYPOTHESIS
III FORCING AND INDEPENDENCE RESULTS
CHAPTER 16 FORCING, THE VERY IDEA
CHAPTER 17 THE CONSTRUCTION OF $S4$ MODELS FOR $ZF$
CHAPTER 18 THE AXIOM OF CONSTRUCTIBILITY IS INDEPENDENT
CHAPTER 19 INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
CHAPTER 20 INDEPENDENCE OF THE AXIOM OF CHOICE
CHAPTER 21 CONSTRUCTING CLASSICAL MODELS
CHAPTER 22 FORCING BACKGROUND
BIBLIOGRAPHY
INDEX
LIST OF NOTATION