More fine structural global square sequences

DOI10.1007/s00153-009-0156-0zbMath1184.03048OpenAlexW2139012463MaRDI QIDQ1042444

Martin Zeman

Publication date: 14 December 2009

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

Full work available at URL: https://doi.org/10.1007/s00153-009-0156-0

zbMATH Keywords

fine structurestationary reflectionweakly compact cardinalglobal square sequenceextender models

Mathematics Subject Classification ID

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

Related Items

A characterization of \(\square(\kappa^{+})\) in extender models, Global square sequences in extender models, CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS, Characterizing large cardinals in terms of layered posets

Cites Work

• Global square sequences in extender models
• Covering theorems for the core model, and an application to stationary set reflection
• Square in Core Models
• The fine structure of the constructible hierarchy
• CHARACTERIZATION OF □_κ IN CORE MODELS