Inner models and large cardinals /

Biographical note: Professor Martin Zeman, Institut für formale Logik, University Vienna, Vienna, Austria.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Zeman, Martin, 1964-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin ; New York : Walter de Gruyter, 2002.
Colección:De Gruyter series in logic and its applications, 5
Temas:
Constructibility (Set theory)
Large cardinals (Mathematics)
Constructibilité (Théorie des ensembles)
Grands cardinaux (Nombres)
MATHEMATICS > Set Theory.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Preface
  • 1 Fine Structure
  • 1.1 Acceptable J-Structures
  • 1.2 The V1-Projectum
  • 1.3 Downward Extension of Embeddings Lemmata
  • 1.4 Upward Extension of Embeddings Lemma
  • 1.5 Iterated Projecta
  • 1.6 V*-Relations
  • 1.7 V0(n)-Embeddings
  • 1.8 Substitution and Good Functions
  • 1.9 Standard Parameters
  • 1.10 Two Applications to L
  • 1.11 More on Downward Extensions of Embeddings
  • 1.12 Witnesses and Solidity
  • Notes
  • 2 Extenders and Coherent Structures
  • 2.1 Extenders
  • 2.2 The Hypermeasure Representation of Extenders
  • 2.3 Amenability
  • 2.4 Coherent Structures.
  • 2.5 Extendibility
  • 2.6 Strong Cardinals
  • Notes
  • 3 Fine Ultrapowers
  • 3.1 The *-Ultrapower Construction
  • 3.2 Some Special Preservation Properties
  • 3.3 When F Is Close to M
  • 3.4 Extendibility
  • 3.5 k-Ultrapowers
  • 3.6 Pseudoultrapowers
  • Notes
  • 4 Mice and Iterability
  • 4.1 Premice
  • 4.2 Iterations
  • 4.3 Copying and the Dodd-Jensen Lemma
  • 4.4 Comparison Process
  • 4.5 Some Iterability Criteria
  • 4.6 Bicephali
  • Notes
  • 5 Solidity and Condensation
  • 5.1 Cores and Coiterations
  • 5.2 The Solidity Theorem
  • 5.3 Consequences of Solidity
  • 5.4 The Canonical Ordering of Mice.
  • 5.5 Condensation Lemma
  • 5.6 Upwards Extensions to Premice
  • Notes
  • 6 Extender Models
  • 6.1 Extender Models and Iterations
  • 6.2 The Canonical Ordering of Weasels
  • 6.3 Universality
  • 6.4 The Model Kc
  • 6.5 0**
  • 6.6 Weak Covering
  • Notes
  • 7 The Core Model
  • 7.1 Inductive Definition of K
  • 7.2 Steel's Definition of K
  • 7.3 The Existence of K
  • 7.4 Embeddings of K and Generic Absoluteness
  • 7.5 Weak Covering for K
  • Notes
  • 8 One Strong Cardinal
  • 8.1 Premice
  • 8.2 Properties of Mice
  • 8.3 Extender Models up to One Strong Cardinal
  • Notes
  • 9 Overlapping Extenders.
  • 9.1 Premice and Iteration Trees
  • 9.2 Copying and the Dodd-Jensen Property
  • 9.3 Solidity and Condensation
  • 9.4 Uniqueness of Weil-Founded Branches
  • 9.5 Towards the Ultimate Model Kc
  • Notes
  • Bibliography
  • Index.

Ejemplares similares