Stationary reflection and level by level equivalence

Arthur W. Apter

The search session has expired. Please query the service again.

Displaying similar documents to “Stationary reflection and level by level equivalence”

Strong compactness, measurability, and the class of supercompact cardinals

Arthur W. Apter (2001)

Fundamenta Mathematicae

Similarity:

We prove two theorems concerning strong compactness, measurability, and the class of supercompact cardinals. We begin by showing, relative to the appropriate hypotheses, that it is consistent non-trivially for every supercompact cardinal to be the limit of (non-supercompact) strongly compact cardinals. We then show, relative to the existence of a non-trivial (proper or improper) class of supercompact cardinals, that it is possible to have a model with the same class of supercompact cardinals...

Sandwiching the Consistency Strength of Two Global Choiceless Cardinal Patterns

Arthur W. Apter (2009)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We provide upper and lower bounds in consistency strength for the theories “ZF + $\neg A C_{ω}$ + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω” and “ZF + $\neg A C_{ω}$ + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal...

A Note on Indestructibility and Strong Compactness

Arthur W. Apter (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

If κ < λ are such that κ is both supercompact and indestructible under κ-directed closed forcing which is also (κ⁺,∞)-distributive and λ is $2^{λ}$ supercompact, then by a result of Apter and Hamkins [J. Symbolic Logic 67 (2002)], δ < κ | δ is δ⁺ strongly compact yet δ is not δ⁺ supercompact must be unbounded in κ. We show that the large cardinal hypothesis on λ is necessary by constructing a model containing a supercompact cardinal κ in which no cardinal δ > κ is $2^{δ} = δ ⁺$ supercompact,...

Supercompactness and partial level by level equivalence between strong compactness and strongness

Arthur W. Apter (2004)

Fundamenta Mathematicae

Similarity:

We force and construct a model containing supercompact cardinals in which, for any measurable cardinal δ and any ordinal α below the least beth fixed point above δ, if $δ^{+ α}$ is regular, δ is $δ^{+ α}$ strongly compact iff δ is δ + α + 1 strong, except possibly if δ is a limit of cardinals γ which are $δ^{+ α}$ strongly compact. The choice of the least beth fixed point above δ as our bound on α is arbitrary, and other bounds are possible.

Δ₁-Definability of the non-stationary ideal at successor cardinals

Sy-David Friedman, Liuzhen Wu, Lyubomyr Zdomskyy (2015)

Fundamenta Mathematicae

Similarity:

Assuming V = L, for every successor cardinal κ we construct a GCH and cardinal preserving forcing poset ℙ ∈ L such that in $L^{ℙ}$ the ideal of all non-stationary subsets of κ is Δ₁-definable over H(κ⁺).

On equivalence relations second order definable over H(κ)

Saharon Shelah, Pauli Vaisanen (2002)

Fundamenta Mathematicae

Similarity:

Let κ be an uncountable regular cardinal. Call an equivalence relation on functions from κ into 2 second order definable over H(κ) if there exists a second order sentence ϕ and a parameter P ⊆ H(κ) such that functions f and g from κ into 2 are equivalent iff the structure ⟨ H(κ), ∈, P, f, g ⟩ satisfies ϕ. The possible numbers of equivalence classes of second order definable equivalence relations include all the nonzero cardinals at most κ⁺. Additionally, the possibilities are closed...

L-like Combinatorial Principles and Level by Level Equivalence

Arthur W. Apter (2009)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We force and construct a model in which GCH and level by level equivalence between strong compactness and supercompactness hold, along with certain additional “L-like” combinatorial principles. In particular, this model satisfies the following properties: (1) $♢_{δ}$ holds for every successor and Mahlo cardinal δ. (2) There is a stationary subset S of the least supercompact cardinal κ₀ such that for every δ ∈ S, $◻_{δ}$ holds and δ carries a gap 1 morass. (3) A weak version of $◻_{δ}$ holds for every...

Easton functions and supercompactness

Brent Cody, Sy-David Friedman, Radek Honzik (2014)

Fundamenta Mathematicae

Similarity:

Suppose that κ is λ-supercompact witnessed by an elementary embedding j: V → M with critical point κ, and further suppose that F is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton’s theorem: (1) ∀α α < cf(F(α)), and (2) α < β ⇒ F(α) ≤ F(β). We address the question: assuming GCH, what additional assumptions are necessary on j and F if one wants to be able to force the continuum function to agree with F globally, while...

Measurable cardinals and the cofinality of the symmetric group

Sy-David Friedman, Lyubomyr Zdomskyy (2010)

Fundamenta Mathematicae

Similarity:

Assuming the existence of a P₂κ-hypermeasurable cardinal, we construct a model of Set Theory with a measurable cardinal κ such that $2^{κ} = κ ⁺ ⁺$ and the group Sym(κ) of all permutations of κ cannot be written as the union of a chain of proper subgroups of length < κ⁺⁺. The proof involves iteration of a suitably defined uncountable version of the Miller forcing poset as well as the “tuning fork” argument introduced by the first author and K. Thompson [J. Symbolic Logic 73 (2008)].

Reflection implies the SCH

Saharon Shelah (2008)

Fundamenta Mathematicae

Similarity:

We prove that, e.g., if μ > cf(μ) = ℵ₀ and $μ > 2^{ℵ ₀}$ and every stationary family of countable subsets of μ⁺ reflects in some subset of μ⁺ of cardinality ℵ₁, then the SCH for μ⁺ holds (moreover, for μ⁺, any scale for μ⁺ has a bad stationary set of cofinality ℵ₁). This answers a question of Foreman and Todorčević who get such a conclusion from the simultaneous reflection of four stationary sets.

Supercompactness and failures of GCH

Sy-David Friedman, Radek Honzik (2012)

Fundamenta Mathematicae

Similarity:

Let κ < λ be regular cardinals. We say that an embedding j: V → M with critical point κ is λ-tall if λ < j(κ) and M is closed under κ-sequences in V. Silver showed that GCH can fail at a measurable cardinal κ, starting with κ being κ⁺⁺-supercompact. Later, Woodin improved this result, starting from the optimal hypothesis of a κ⁺⁺-tall measurable cardinal κ. Now more generally, suppose that κ ≤ λ are regular and one wishes the GCH to fail at λ with κ being λ-supercompact. Silver’s...

Rectangular square-bracket operation for successor of regular cardinals

Assaf Rinot, Stevo Todorcevic (2013)

Fundamenta Mathematicae

Similarity:

We give a uniform proof that $λ ⁺ ↛ [λ ⁺; λ ⁺] ²_{λ ⁺}$ holds for every regular cardinal λ.

Club-guessing, good points and diamond

Pierre Matet (2007)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Shelah’s club-guessing and good points are used to show that the two-cardinal diamond principle $◊_{κ, λ}$ holds for various values of $κ$ and $λ$ .

The tree property at the double successor of a measurable cardinal κ with $2^{κ}$ large

Sy-David Friedman, Ajdin Halilović (2013)

Fundamenta Mathematicae

Similarity:

Assuming the existence of a λ⁺-hypermeasurable cardinal κ, where λ is the first weakly compact cardinal above κ, we prove that, in some forcing extension, κ is still measurable, κ⁺⁺ has the tree property and $2^{κ} = κ ⁺ ⁺ ⁺$ . If the assumption is strengthened to the existence of a θ -hypermeasurable cardinal (for an arbitrary cardinal θ > λ of cofinality greater than κ) then the proof can be generalized to get $2^{κ} = θ$ .

Cardinal sequences and Cohen real extensions

István Juhász, Saharon Shelah, Lajos Soukup, Zoltán Szentmiklóssy (2004)

Fundamenta Mathematicae

Similarity:

We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most ${(2^{ℵ ₀})}^{V}$ levels of size ω. We also give a complete ZFC characterization of the cardinal sequences of regular scattered spaces. Although the classes of regular and of 0-dimensional scattered spaces are different, we prove that they have the same cardinal sequences.

Level by Level Inequivalence, Strong Compactness, and GCH

Arthur W. Apter (2012)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We construct three models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In the first two models, below the supercompact cardinal κ, there is a non-supercompact strongly compact cardinal. In the last model, any suitably defined ground model Easton function is realized.

On the cardinality of Hausdorff spaces and Pol-Šapirovskii technique

Alejandro Ramírez-Páramo (2005)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this paper we make use of the Pol-Šapirovskii technique to prove three cardinal inequalities. The first two results are due to Fedeli [2] and the third theorem of this paper is a common generalization to: (a) (Arhangel’skii [1]) If $X$ is a $T_{1}$ space such that (i) $L (X) t (X) \leq κ$ , (ii) $ψ (X) \leq 2^{κ}$ , and (iii) for all $A \in {[X]}^{\leq 2^{κ}}$ , $|\bar{A}| \leq 2^{κ}$ , then $| X | \leq 2^{κ}$ ; and (b) (Fedeli [2]) If $X$ is a $T_{2}$ -space then $| X | \leq 2^{aql (X) t (X) ψ_{c} (X)}$ .

The consistency strength of the tree property at the double successor of a measurable cardina

Natasha Dobrinen, Sy-David Friedman (2010)

Fundamenta Mathematicae

Similarity:

The Main Theorem is the equiconsistency of the following two statements: (1) κ is a measurable cardinal and the tree property holds at κ⁺⁺; (2) κ is a weakly compact hypermeasurable cardinal. From the proof of the Main Theorem, two internal consistency results follow: If there is a weakly compact hypermeasurable cardinal and a measurable cardinal far enough above it, then there is an inner model in which there is a proper class of measurable cardinals, and in which the tree property...

More on $κ$ -Ohio completeness

D. Basile (2011)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study closed subspaces of $κ$ -Ohio complete spaces and, for $κ$ uncountable cardinal, we prove a characterization for them. We then investigate the behaviour of products of $κ$ -Ohio complete spaces. We prove that, if the cardinal $κ^{+}$ is endowed with either the order or the discrete topology, the space ${(κ^{+})}^{κ^{+}}$ is not $κ$ -Ohio complete. As a consequence, we show that, if $κ$ is less than the first weakly inaccessible cardinal, then neither the space $ω^{κ^{+}}$ , nor the space $ℝ^{κ^{+}}$ is $κ$ -Ohio complete.