Another ordering of the ten cardinal characteristics in Cichoń's diagram

Jakob Kellner; Saharon Shelah; Anda R. Tănasie

Displaying similar documents to “Another ordering of the ten cardinal characteristics in Cichoń's diagram”

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.

A partition property of cardinal numbers

N. H. Williams

Similarity:

CONTENTSIntroduction....................................................................................... 5§ 1. Notation and definitions......................................................... 5§ 2. Negative relations.................................................................... 9§ 3. The Ramification Lemma ..................................................... 10§ 4. The main theorem................................................................... 13§ 5. A result for cardinals...

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 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...

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...

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...

Initially $κ$ -compact spaces for large $κ$

Stavros Christodoulou (1999)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

This work presents some cardinal inequalities in which appears the closed pseudo-character, $ψ_{c}$ , of a space. Using one of them — $ψ_{c} (X) \leq 2^{d (X)}$ for $T_{2}$ spaces — we improve, from $T_{3}$ to $T_{2}$ spaces, the well-known result that initially $κ$ -compact $T_{3}$ spaces are $λ$ -bounded for all cardinals $λ$ such that $2^{λ} \leq κ$ . And then, using an idea of A. Dow, we prove that initially $κ$ -compact $T_{2}$ spaces are in fact compact for $κ = 2^{F (X)}$ , $2^{s (X)}$ , $2^{t (X)}$ , $2^{χ (X)}$ , $2^{ψ_{c} (X)}$ or $κ = max {τ^{+}, τ^{< τ}}$ , where $τ > t (p, X)$ for all $p \in X$ .

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^{κ} = θ$ .

Interpolation of $κ$ -compactness and PCF

István Juhász, Zoltán Szentmiklóssy (2009)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We call a topological space $κ$ -compact if every subset of size $κ$ has a complete accumulation point in it. Let $Φ (μ, κ, λ)$ denote the following statement: $μ < κ < λ = cf (λ)$ and there is ${S_{ξ} : ξ < λ} \subset {[κ]}^{μ}$ such that $| {ξ : | S_{ξ} \cap A | = μ} | < λ$ whenever $A \in {[κ]}^{< κ}$ . We show that if $Φ (μ, κ, λ)$ holds and the space $X$ is both $μ$ -compact and $λ$ -compact then $X$ is $κ$ -compact as well. Moreover, from PCF theory we deduce $Φ (cf (κ), κ, κ^{+})$ for every singular cardinal $κ$ . As a corollary we get that a linearly Lindelöf and $ℵ_{ω}$ -compact space is uncountably compact, that is $κ$ -compact for all uncountable cardinals...

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 λ.

CH and the Sacks property

S. Quickert (2002)

Fundamenta Mathematicae

Similarity:

We show the consistency of CH and the statement “no ccc forcing has the Sacks property” and derive some consequences for ccc $ω^{ω}$ -bounding forcing notions.

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...