Annals of Pure and Applied Logic 102 (1-2):101-138 (2000)

Abstract
We shall construct a smooth category of mice and embeddings in the core model for measures of order 0. The existence of such a category implies that the global principle □ holds in K. We then prove a much stronger, the so-called condensation-coherent version of global □. The key tool of the whole construction is a new criterion on preserving soundness under condensation
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(99)00020-2
Options
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: 68,975
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

The Core Model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
Combinatorial Principles in the Core Model for One Woodin Cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
The Covering Lemma for K.Tony Dodd & Ronald Jensen - 1982 - Annals of Mathematical Logic 22 (1):1-30.
The Covering Lemma for L[U].A. J. Dodd & R. B. Jensen - 1982 - Annals of Mathematical Logic 22 (2):127-135.

View all 8 references / Add more references

Citations of this work BETA

Square in Core Models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
Global Square Sequences in Extender Models.Martin Zeman - 2010 - Annals of Pure and Applied Logic 161 (7):956-985.
◇ at Mahlo Cardinals.Martin Zeman - 2000 - Journal of Symbolic Logic 65 (4):1813-1822.
Cardinal Transfer Properties in Extender Models.Ernest Schimmerling & Martin Zeman - 2008 - Annals of Pure and Applied Logic 154 (3):163-190.
Global Square and Mutual Stationarity at the ℵn.Peter Koepke & Philip D. Welch - 2011 - Annals of Pure and Applied Logic 162 (10):787-806.

Add more citations

Similar books and articles

Smooth Classes Without AC and Robinson Theories.Massoud Pourmahdian - 2002 - Journal of Symbolic Logic 67 (4):1274-1294.
The Construction of Ontological Categories.Jan Westerhoff - 2004 - Australasian Journal of Philosophy 82 (4):595 – 620.
More Fine Structural Global Square Sequences.Martin Zeman - 2009 - Archive for Mathematical Logic 48 (8):825-835.
Accessible Categories, Saturation and Categoricity.Jiří Rosický - 1997 - Journal of Symbolic Logic 62 (3):891-901.
Global Actors and Public Power.Barbara Buckinx - 2012 - Critical Review of International Social and Political Philosophy 15 (5):535-551.

Analytics

Added to PP index
2014-01-16

Total views
11 ( #848,479 of 2,498,178 )

Recent downloads (6 months)
1 ( #427,476 of 2,498,178 )

How can I increase my downloads?

Downloads

My notes