- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Covering theorems for the core model, and an application to stationary set reflection
Annals of Pure and Applied Logic 161 (1):66-93 (2010)
Abstract
We prove covering theorems for K, where K is the core model below the sharp for a strong cardinal, and give an application to stationary set reflectionMy notes
Similar books and articles
Semistationary and stationary reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
More on full reflection below $${\aleph_\omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.
Possible behaviours of the reflection ordering of stationary sets.Jiří Witzany - 1995 - Journal of Symbolic Logic 60 (2):534-547.
A Characterization of Generalized Příkrý Sequences.Gunter Fuchs - 2005 - Archive for Mathematical Logic 44 (8):935-971.
Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Full reflection at a measurable cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.
Club-guessing, stationary reflection, and coloring theorems.Todd Eisworth - 2010 - Annals of Pure and Applied Logic 161 (10):1216-1243.
Generic compactness reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.
Review of J. Cummings, A Model in Which GCH Holds at Successors but Fails at Limits; Strong Ultrapowers and Long Core Models; Coherent Sequences Versus Radin Sequences; and J. Cummings, M. Foreman, and M. Magidor, Squares, Scales and Stationary Reflection. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
Simultaneous reflection and impossible ideals.Todd Eisworth - 2012 - Journal of Symbolic Logic 77 (4):1325-1338.
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.
More fine structural global square sequences.Martin Zeman - 2009 - Archive for Mathematical Logic 48 (8):825-835.
Model theory of the regularity and reflection schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.
Analytics
Added to PP
2013-12-22
Downloads
19 (#800,123)
6 months
12 (#214,131)
2013-12-22
Downloads
19 (#800,123)
6 months
12 (#214,131)
Historical graph of downloads
Citations of this work
Bounding 2d functions by products of 1d functions.François Dorais & Dan Hathaway - 2022 - Mathematical Logic Quarterly 68 (2):202-212.
More fine structural global square sequences.Martin Zeman - 2009 - Archive for Mathematical Logic 48 (8):825-835.
Approachable free subsets and fine structure derived scales.Dominik Adolf & Omer Ben-Neria - 2024 - Annals of Pure and Applied Logic 175 (7):103428.
Global square sequences in extender models.Martin Zeman - 2010 - Annals of Pure and Applied Logic 161 (7):956-985.
When cardinals determine the power set: inner models and Härtig quantifier logic.Jouko Väänänen & Philip D. Welch - forthcoming - Mathematical Logic Quarterly.
References found in this work
Some exact equiconsistency results in set theory.Leo Harrington & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):178-188.
A new class of order types.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (3):187-222.
Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.
Canonical functions, non-regular ultrafilters and Ulam’s problem on ω1.Oliver Deiser & Dieter Donder - 2003 - Journal of Symbolic Logic 68 (3):713-739.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-rskd8 uwo