Journal of Mathematical Logic 4 (01):1-72 (2004)

We present a general construction of a □κ-sequence in Jensen's fine structural extender models. This construction yields a local definition of a canonical □κ-sequence as well as a characterization of those cardinals κ, for which the principle □κ fails. Such cardinals are called subcompact and can be described in terms of elementary embeddings. Our construction is carried out abstractly, making use only of a few fine structural properties of levels of the model, such as solidity and condensation.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1142/S0219061304000310
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,289
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Strong Axioms of Infinity and Elementary Embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
Set Theory.Thomas Jech - 1981 - Journal of Symbolic Logic.
Squares, Scales and Stationary Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Combinatorial Principles in the Core Model for One Woodin Cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.

View all 19 references / Add more references

Citations of this work BETA

Simultaneous Stationary Reflection and Square Sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
Stacking Mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
A Microscopic Approach to Souslin-Tree Constructions, Part I.Ari Meir Brodsky & Assaf Rinot - 2017 - Annals of Pure and Applied Logic 168 (11):1949-2007.
$K$ Without the Measurable.Ronald Jensen & John Steel - 2013 - Journal of Symbolic Logic 78 (3):708-734.

View all 19 citations / Add more citations

Similar books and articles


Added to PP index

Total views
10 ( #869,480 of 2,445,260 )

Recent downloads (6 months)
1 ( #457,173 of 2,445,260 )

How can I increase my downloads?


My notes