A characterization of (^+) in extender models

DOI10.1007/S00153-012-0307-6MaRDI QIDQ1935372zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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)