878888454  

Set theory : an introduction to large cardinals / Frank R. Drake

Englisch

Amsterdam ; New York : North-Holland Pub. Co, 2011

Online Ressource (xii, 351 pages)

Includes bibliographical references and index. - Print version record

Print version record

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002

English

Erscheint auch als: Druck-Ausgabe- Drake, F. R. (Frank Robert): Set theory. - Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co, 1974

978-0-08-095486-8

0-08-095486-3

978-0-444-10535-6

Weitere Ausgaben: 0-444-10535-2 (Druckausgabe), 0-7204-2200-0 (Druckausgabe), 0-7204-2279-5 (Druckausgabe)

*978-0-444-10535-6 - ISBN *0-444-10535-2 - ISBN *0-7204-2200-0 - ISBN *978-0-7204-2200-9 - ISBN *0-7204-2279-5 - ISBN *978-0-7204-2279-5 - ISBN *0-444-10535-2 - ISBN *0-7204-2200-0 - ISBN *0-7204-2279-5 - ISBN *978-0-444-10535-6 - ISBN *978-0-7204-2200-9 - ISBN *978-0-7204-2279-5

*Kardinalzahl

*Ensembles, Théorie des ; Nombres, Théorie des ; Electronic books ; Set theory ; Cardinal numbers ; Set theory ; Cardinal numbers

*Electronic books / Large cardinals ; Nombres, Théorie des ; Mengenlehre ; Zahlentheorie ; Kardinalzahl ; Kardinalzahl ; Mengenlehre ; Zahlentheorie ; Cardinal numbers ; Ensembles, Théorie des ; Set theory ; Verzamelingen (wiskunde) ; Kardinaalgetallen ; MATHEMATICS ; Number Theory ; Large cardinals

Klassifikation der Library of Congress: QA248

Dewey Dezimal-Klassifikation: 512/.72; ; 512.72;

Regensburger Verbund-Klassifikation: SK 150: SA-SP Mathematik / SK Monografien / SK 150-SK 160 Mengenlehre und Verbandstheorie / Mengenlehre und Verbandstheorie, allgemein

Regensburger Verbund-Klassifikation: SK 130: SA-SP Mathematik / SK Monografien / Logik und Grundlagen, Metamathematik,

bcl: 31.10

bisacsh: MAT

bisacsh: MAT 022000

bisac: MAT

bisacsh: MAT 022000

1. pai nm and Sigma nm-indescribables2. Enforceable classes; 3. Indescribability of measurable cardinals; 4. v-indescribable cardinals; Notes to Chapter 9; Chapter 10. Infinitarylanguages and Large Cardinals; 1. The languages Laß; 2. Weakly compact cardinals; 3. Strongly compact cardinals; 4. Summary of large cardinals; Notes to Chapter 10; Bibliography; Index; List of Symbols and Abbreviations Used and Page Where Introduced

7. The generalized continuum hypothesis inaccessible cardinals; 8. Ramsey's theorem; Notes to Chapter 2; Chapter 3. The Lévy Hierarchy And The Reflection Principle; 1. Transitive €-structures; 2. Lévy's hierarchy; 3. Delta and transfinite induction; 4. Absoluteness; 5. Delta-definability of the satisfaction relation; 6. The reflection principle of ZF; 7. Cardinality and Sigma-formulas; Notes to Chapter 3; Chapter 4. Inaccessible and Mahlocardinals; 1. Properties of Va; 2. Normal functions; 3. Mahlo cardinals; 4. Reflection principles for Mahlo cardinals; Notes to Chapter 4

Chapter 5. The Constructible Universe1. Constructible sets; 2. Gödel's theorems on L: AC and GCH; 3. Constructible orders; 4. On reducing proofs to ZFC; 5. The minimal model of ZF; 6. Relative constructibility; 7. The analytical hierarchy and constructible sets; 8. Ordinal definable sets; Notes to Chapter 5; Chapter 6. Measurable Cardinals; 1. Measures: classical properties; 2. The ultrapower construction for measurable cardinals; 3. Normal measures; 4. Measurable cardinals and constructible sets; 5. Measurable cardinals and the GCH; Notes to Chapter 6

Front Cover; Set Theory: An Introduction to Large Cardinals; Copyright Page; Contents; Preface; Chapter 1. Introduction: Sets and Languages; 1. What are sets?-The cumulative type structure; 2. The first-order language of set theory; 3. The Zermelo-Fraenkel axioms; 4. A note on paradoxes; 5. More general languages; 6. The hereditarily finite sets-an example; Notes to Chapter 1; Chapter 2. Thedevelopment of ZFC; 1. Elementary definitions; 2. Ordinals; 3. Transfinite induction; 4. Cardinals: introduction; 5. Cardinal arithmetic; 6. The axiom of choice

Provability, Computability and Reflection

 

Online-Ausg.

[S.l.] : HathiTrust Digital Library

[S.l.] : HathiTrust Digital Library

Online-Ausg. [S.l.] : HathiTrust Digital Library

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.