A characterization of (^+) in extender models

DOI10.1007/S00153-012-0307-6zbMATH Open1315.03078OpenAlexW1994519956MaRDI QIDQ1935372FDOQ1935372

Authors: Kyriakos Kypriotakis, Martin Zeman 

Publication date: 15 February 2013

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-012-0307-6

Recommendations

• CHARACTERIZATION OF □_κ IN CORE MODELS
• Global square sequences in extender models
• Subcompact cardinals, squares, and stationary reflection
• Square in core models
• The non-compactness of square

zbMATH Keywords

threadsstationary set reflectionextender modelssquare sequencescoherent sequencesfine structure theory

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• The fine structure of the constructible hierarchy
• Inner models and large cardinals
• Title not available (Why is that?)
• Large cardinals and definable counterexamples to the continuum hypothesis
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Some exact equiconsistency results in set theory
• More fine structural global square sequences
• Global square sequences in extender models
• Generic Embeddings and the Failure of Box
• Cardinal transfer properties in extender models
• Stationary reflection in extender models

Cited In (7)

• Global square sequences in extender models
• More fine structural global square sequences
• Equiconsistencies at subcompact cardinals
• CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS
• Subcompact cardinals, squares, and stationary reflection
• Suitable extender models. II: Beyond \(\omega \)-huge
• CHARACTERIZATION OF □_κ IN CORE MODELS

This page was built for publication: A characterization of \(\square(\kappa^{+})\) in extender models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935372)