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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
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.
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.
Similar books and articles
Smooth Yet Discrete: Modeling Both Non-Transitivity and the Smoothness of Graded Categories With Discrete Classification Rules. [REVIEW]Bert Baumgaertner - 2014 - Minds and Machines 24 (3):353-370.
Smooth Classes Without AC and Robinson Theories.Massoud Pourmahdian - 2002 - Journal of Symbolic Logic 67 (4):1274-1294.
Smooth Operators. The Molecular Mechanics of Smooth Muscle Contraction.Robert A. Cross - 1989 - Bioessays 11 (1):18-21.
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.
A Global Glance on Categories in Logic.Peter Arndt, Rodrigo Alvarenga Freirdee, Odilon Otavio Luciano & Hugo Luiz Mariano - 2007 - Logica Universalis 1 (1).
Accessible Categories, Saturation and Categoricity.Jiří Rosický - 1997 - Journal of Symbolic Logic 62 (3):891-901.
Foundations and Applications: Axiomatization and Education.F. William Lawvere - 2003 - Bulletin of Symbolic Logic 9 (2):213-224.
Global Actors and Public Power.Barbara Buckinx - 2012 - Critical Review of International Social and Political Philosophy 15 (5):535-551.
Before Method: Analytic Tactics to Decipher the Global—An Argument and Its Responses, Part I.Saskia Sassen - 2013 - The Pluralist 8 (3):79-82.
Smooth Eye Movements in the Absence of a Moving Visual Stimulus.Gerald Westheimer & Donald W. Conover - 1954 - Journal of Experimental Psychology 47 (4):283.
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 )
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
