Author | Takeuti, Gaisi. author |
---|---|

Title | Introduction to Axiomatic Set Theory [electronic resource] / by Gaisi Takeuti, Wilson M. Zaring |

Imprint | New York, NY : Springer New York, 1982 |

Edition | Second Edition |

Connect to | http://dx.doi.org/10.1007/978-1-4613-8168-6 |

Descript | X, 246 p. online resource |

SUMMARY

In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel's work on the conยญ sistency of the Axiom of Choice (AC) and the Generalized Continuum Hypothesis (GCH), and Cohen's work on the independence of the AC and the GCH. Notes taken in 1963 by the second author were taught by him in 1966, revised extensively, and are presented here as an introduction to axiomatic set theory. Texts in set theory frequently develop the subject rapidly moving from key result to key result and suppressing many details. Advocates of the fast development claim at least two advantages. First, key results are highยญ lighted, and second, the student who wishes to master the subject is comยญ pelled to develop the detail on his own. However, an instructor using a "fast development" text must devote much class time to assisting his students in their efforts to bridge gaps in the text

CONTENT

1 Introduction -- 2 Language and Logic -- 3 Equality -- 4 Classes -- 5 The Elementary Properties of Classes -- 6 Functions and Relations -- 7 Ordinal Numbers -- 8 Ordinal Arithmetic -- 9 Relational Closure and the Rank Function -- 10 The Axiom of Choice and Cardinal Numbers -- 11 Cofinality, the Generalized Continuum Hypothesis, and Cardinal Arithmetic -- 12 Models -- 13 Absoluteness -- 14 The Fundamental Operations -- 15 The Gรถdel Model -- 16 Silver Machines -- 17 Applications of Silver Machines -- 18 Introduction to Forcing -- 19 Forcing -- Problem List -- Index of Symbols

Mathematics
Mathematical logic
Mathematics
Mathematical Logic and Foundations