Introduction to Axiomatic Set Theory / by Gaisi Takeuti, Wilson M. Zaring
(Graduate Texts in Mathematics ; 1)
データ種別 | 電子ブック |
---|---|
版 | Second Edition |
出版者 | New York, NY : Springer New York |
出版年 | 1982 |
本文言語 | 英語 |
大きさ | X, 246 p : online resource |
書誌詳細を非表示
内容注記 | 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 |
---|---|
一般注記 | 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 |
著者標目 | *Takeuti, Gaisi author Zaring, Wilson M. author SpringerLink (Online service) |
件 名 | LCSH:Mathematics LCSH:Mathematical logic FREE:Mathematics FREE:Mathematical Logic and Foundations |
分 類 | DC23:511.3 |
巻冊次 | ISBN:9781461381686 |
ISBN | 9781461381686 |
URL | http://dx.doi.org/10.1007/978-1-4613-8168-6 |
目次/あらすじ