Cargando…
Set theory : an introduction to large cardinals /
Provability, Computability and Reflection.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1974.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 76. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- 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
- 7. The generalized continuum hypothesis inaccessible cardinals; 8. Ramsey's theorem; Notes to Chapter 2; Chapter 3. The L�evy Hierarchy And The Reflection Principle; 1. Transitive �-structures; 2. L�evy'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�odel'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
- 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