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 : Imprint: Springer, 1971 |

Connect to | http://dx.doi.org/10.1007/978-1-4684-9915-5 |

Descript | VII, 251 p. online resource |

SUMMARY

In 1963, the first author introduced a course in set theory at the Uniยญ versity of Illinois whose main objectives were to cover G6del's work on the consistency of the axiom of choice (AC) and the generalized conยญ tinuum hypothesis (GCH), and Cohen's work on the independence of AC and the GCH. Notes taken in 1963 by the second author were the 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 highlighted, and second, the student who wishes to master the subยญ ject is compelled to develop the details on his own. However, an inยญ structor using a "fast development" text must devote much class time to assisting his students in their efforts to bridge gaps in the text. We have chosen instead a development that is quite detailed and complete. For our slow development we claim the following advantages. The text is one from which a student can learn with little supervision and instruction. This enables the instructor to use class time for the presentation of alternative developments and supplementary material

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 Cardinal Numbers -- 11 The Axiom of Choice, the Generalized Continuum Hypothesis and Cardinal Arithmetic -- 12 Models -- 13 Absoluteness -- 14 The Fundamental Operations -- 15 The Gรถdel Model -- 16 The Arithmetization of Model Theory -- 17 Cohenโ{128}{153}s Method -- 18 Forcing -- 19 Languages, Structures, and Models -- Problem List -- Index of Symbols

Mathematics
Mathematics
Mathematics general