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

coherent sequencesextender modelsfine structure theorysquare sequencesstationary set reflectionthreads

Mathematics Subject Classification ID

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

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

• Cardinal transfer properties in extender models
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Generic Embeddings and the Failure of Box
• Global square sequences in extender models
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• 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)

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