More fine structural global square sequences

Archive for Mathematical Logic 48 (8):825-835 (2009)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s00153-009-0156-0

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Global square sequences in extender models.Martin Zeman - 2010 - Annals of Pure and Applied Logic 161 (7):956-985.
Square below a non-weakly compact cardinal.Hazel Brickhill - 2020 - Archive for Mathematical Logic 59 (3-4):409-426.
Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.
Global square and mutual stationarity at the ℵn.Peter Koepke & Philip D. Welch - 2011 - Annals of Pure and Applied Logic 162 (10):787-806.
Simultaneous stationary reflection and square sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
Canonical structure in the universe of set theory: Part two.James Cummings, Matthew Foreman & Menachem Magidor - 2006 - Annals of Pure and Applied Logic 142 (1):55-75.
Knaster and friends II: The C-sequence number.Chris Lambie-Hanson & Assaf Rinot - 2020 - Journal of Mathematical Logic 21 (1):2150002.
Dodd parameters and λ-indexing of extenders.Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):73-108.
Coherent sequences versus Radin sequences.James Cummings - 1994 - Annals of Pure and Applied Logic 70 (3):223-241.
A characterization of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square(\kappa^{+})}$$\end{document} in extender models. [REVIEW]Kyriakos Kypriotakis & Martin Zeman - 2013 - Archive for Mathematical Logic 52 (1-2):67-90.

Analytics

Added to PP
2013-11-23

Downloads
55 (#393,991)

6 months
19 (#155,223)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Characterizing large cardinals in terms of layered posets.Sean Cox & Philipp Lücke - 2017 - Annals of Pure and Applied Logic 168 (5):1112-1131.
Global square sequences in extender models.Martin Zeman - 2010 - Annals of Pure and Applied Logic 161 (7):956-985.
Closure properties of measurable ultrapowers.Philipp Lücke & Sandra Müller - 2021 - Journal of Symbolic Logic 86 (2):762-784.

Add more citations

References found in this work

Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.

View all 6 references / Add more references