Abstract
We extend the construction of a global square sequence in extender models from Zeman [8] to a construction of coherent non-threadable sequences and give a characterization of stationary reflection at inaccessibles similar to Jensen’s characterization in L.
Article PDF
Similar content being viewed by others
References
Devlin K.J.: Constructibility. Springer, New York (1984)
Cox S.: Covering Theorems for the core model, and an application to stationary set reflection. Ann. Pure Appl. Log. 161(1), 66–93 (2009)
Jensen R.B.: The fine structure of the constructible hierarchy. Ann. Math. Log. 4, 229–308 (1972)
Jensen, R.B.: A new fine structure for higher core models, handwritten notes, Berlin (1997)
Schimmerling E., Zeman M.: Square in core models, square in core models. Bull. Symb. Log. 7(3), 305–314 (2001)
Schimmerling E., Zeman M.: Characterization of \({\square_\kappa}\) in core models. J. Math. Log. 4(11), 1–72 (2004)
Zeman M.: Inner Models and Large Cardinals, de Gruyter Series in Logic and its Applications 5. De Gruyter, New York (2002)
Zeman, M.: Global square sequences in extender models, (submitted), preprint available at http://math.uci.edu/~mzeman/RESEARCH
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research partially supported by NSF grant DMS-0500799.
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Zeman, M. More fine structural global square sequences. Arch. Math. Logic 48, 825–835 (2009). https://doi.org/10.1007/s00153-009-0156-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-009-0156-0