English
Related papers

Related papers: On reflection of stationary sets in P_kappa lambda

200 papers

Let kappa be a regular uncountable cardinal and lambda >=kappa^+ . The principle of stationary reflection for P_kappa lambda has been successful in settling problems of infinite combinatorics in the case kappa=omega_1. For a greater kappa…

Logic · Mathematics 2007-05-23 Saharon Shelah , Masahiro Shioya

The notion of stationary reflection is one of the most important notions of combinatorial set theory. We investigate weak reflection, which is, as the name suggests, a weak version of stationary reflection. This sort of reflection was…

Logic · Mathematics 2007-05-23 Mirna Džamonja , Saharon Shelah

Bounded stationary reflection at a cardinal $\lambda$ is the assertion that every stationary subset of $\lambda$ reflects but there is a stationary subset of $\lambda$ that does not reflect at arbitrarily high cofinalities. We produce a…

Logic · Mathematics 2015-05-14 Chris Lambie-Hanson

We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.

Logic · Mathematics 2021-07-01 Yair Hayut , Spencer Unger

We obtain an array of consistency results concerning trees and stationary reflection at double successors of regular cardinals $\kappa$, updating some classical constructions in the process. This includes models of…

Logic · Mathematics 2021-04-06 Thomas Gilton , Maxwell Levine , Šárka Stejskalová

If $S,T$ are stationary subsets of a regular uncountable cardinal $\kappa$, we say that $S$ reflects fully in $T$, $S<T$, if for almost all $\alpha \in T$ (except a nonstationary set) $S \cap \alpha$ is stationary in $\alpha .$ This…

Logic · Mathematics 2016-09-06 Jiří Witzany

Let $\kappa$ be a regular limit cardinal, $\kappa \subseteq A$. We study a notion of $n$-s-stationarity on $\mathcal{P}_{\kappa}(A)$. We construct a sequence of topologies $\langle \tau_0, \tau_1, \dots \rangle $ on…

Logic · Mathematics 2025-01-31 M. Catalina Torres

We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.

Logic · Mathematics 2007-05-23 Q. Feng , T. Jech , J. Zapletal

A stationary subset $S$ of a regular uncountable cardinal $\kappa$ {\it reflects fully} at regular cardinals if for every stationary set $T \subseteq \kappa$ of higher order consisting of regular cardinals there exists an $\alpha \in T$…

Logic · Mathematics 2008-02-03 Thomas Jech , Jiří Witzany

We prove that if lambda is a strong limit singular cardinal and kappa a regular uncountable cardinal < lambda, then NS_{kappa lambda}, the non-stationary ideal over P_{kappa} lambda, is nowhere precipitous. We also show that under the same…

Logic · Mathematics 2007-05-23 Yo Matsubara , Saharon Shelah

A stationary subset S of a regular uncountable cardinal kappa reflects fully at regular cardinals if for every stationary set T subseteq kappa of higher order consisting of regular cardinals there exists an alpha in T such that S cap alpha…

Logic · Mathematics 2008-02-03 Thomas Jech , Saharon Shelah

We show that the tree property, stationary reflection and the failure of approachability at $\kappa^{++}$ are consistent with $\mathfrak{u}(\kappa) = \kappa^+ < 2^\kappa$, where $\kappa$ is a singular strong limit cardinal with the…

Logic · Mathematics 2019-11-01 Radek Honzik , Sarka Stejskalova

Let kappa be a regular uncountable cardinal and lambda > kappa a singular strong limit cardinal. We give a new characterization of the nonstationary subsets of P_kappa (lambda) and use this to prove that the nonstationary ideal on P_kappa…

Logic · Mathematics 2007-05-23 Pierre Matet , Saharon Shelah

Here we deal with some problems posed by Matet. The first section deals with the existence of stationary subsets of [lambda]^{<kappa} with no unbounded subsets which are not stationary, where, of course, kappa is regular uncountable less or…

Logic · Mathematics 2007-05-23 Saharon Shelah

section 2: We answer a question of Mekler Eklof on the closure operations of the incompactness spectrum. We answer a question of Foreman and Magidor on reflection of stationary subsets of S_{< aleph_2}(lambda) = {a subseteq lambda : |a| <…

Logic · Mathematics 2008-02-03 Saharon Shelah

We extend prior results of Cody-Eskew, showing the consistency of GCH with the statement that for all regular cardinals $\kappa \leq \lambda$, where $\kappa$ is the successor of a regular cardinal, there is a rigid saturated ideal on…

Logic · Mathematics 2019-01-09 Monroe Eskew

Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We…

Logic · Mathematics 2024-11-26 Tom Benhamou , Dima Sinapova

We improve previous work on the consistency strength of mutually stationary sequences of sets concentrating on points with divergent cofinality building on previous work by Adolf, Cox and Welch. Specifically, we have greatly reduced our…

Logic · Mathematics 2019-08-06 Dominik Adolf

Suppose that lambda is the successor of a singular cardinal mu whose cofinality is an uncountable cardinal kappa. We give a sufficient condition that the club filter of lambda concentrating on the points of cofinality kappa is not…

Logic · Mathematics 2008-02-03 Mirna Džamonja , Saharon Shelah

We prove that some natural "outside" property is equivalent (for a first order class) to being stable. For a model, being resplendent is a strengthening of being kappa-saturated. Restricting ourselves to the case kappa > |T| for…

Logic · Mathematics 2022-10-18 Saharon Shelah
‹ Prev 1 2 3 10 Next ›