A characterization of \(\square(\kappa^{+})\) in extender models

DOI10.1007/s00153-012-0307-6zbMath1315.03078OpenAlexW1994519956MaRDI QIDQ1935372

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 sequencesthreadsstationary set reflectionextender modelssquare sequencesfine structure theory

Mathematics Subject Classification ID

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

Related Items

Global square sequences in extender models ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ Equiconsistencies at subcompact cardinals

Cites Work

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

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