- 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
Full reflection of stationary sets below ℵω
Journal of Symbolic Logic 55 (2):822 - 830 (1990)
Abstract
It is consistent that, for every n ≥ 2, every stationary subset of ω n consisting of ordinals of cofinality ω k, where k = 0 or k ≤ n - 3, reflects fully in the set of ordinals of cofinality ω n - 1. We also show that this result is best possible.Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Full Reflection of Stationary Sets Below $aleph_omega$.Thomas Jech & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (2):822-830.
The {L}aczkovich—{K}omjáth property for coanalytic equivalence relations.Su Gao, Steve Jackson & Vincent Kieftenbeld - 2010 - Journal of Symbolic Logic 75 (3):1091-1101.
The cofinality of cardinal invariants related to measure and category.Tomek Bartoszynski, Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (3):719-726.
Two Upper Bounds on Consistency Strength of $negsquare{aleph{omega}}$ and Stationary Set Reflection at Two Successive $aleph_{n}$.Martin Zeman - 2017 - Notre Dame Journal of Formal Logic 58 (3):409-432.
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 reflection.David Asperó, John Krueger & Yasuo Yoshinobu - 2010 - Annals of Pure and Applied Logic 161 (1):94-108.
Possible PCF algebras.Thomas Jech & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (1):313-317.
Recursive linear orders with recursive successivities.Michael Moses - 1984 - Annals of Pure and Applied Logic 27 (3):253-264.
On the relationship between mutual and tight stationarity.William Chen-Mertens & Itay Neeman - 2021 - Annals of Pure and Applied Logic:102963.
Global square and mutual stationarity at the ℵn.Peter Koepke & Philip D. Welch - 2011 - Annals of Pure and Applied Logic 162 (10):787-806.
Analytics
Added to PP
2009-01-28
Downloads
232 (#112,177)
6 months
9 (#485,111)
2009-01-28
Downloads
232 (#112,177)
6 months
9 (#485,111)
Historical graph of downloads
Citations of this work
Reflecting stationary sets and successors of singular cardinals.Saharon Shelah - 1991 - Archive for Mathematical Logic 31 (1):25-53.
Small $$\mathfrak {u}(\kappa )$$ u ( κ ) at singular $$\kappa $$ κ with compactness at $$\kappa ^{++}$$ κ + +.Radek Honzik & Šárka Stejskalová - 2021 - Archive for Mathematical Logic 61 (1):33-54.
Two Upper Bounds on Consistency Strength of $negsquare{aleph{omega}}$ and Stationary Set Reflection at Two Successive $aleph_{n}$.Martin Zeman - 2017 - Notre Dame Journal of Formal Logic 58 (3):409-432.
Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions.David Asperó, Tapani Hyttinen, Vadim Kulikov & Miguel Moreno - 2019 - Notre Dame Journal of Formal Logic 60 (4):665-682.
More on full reflection below $${\aleph_\omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.
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-667477cd97-sfdq8 dc2