Initially $\kappa $-compact spaces for large $\kappa $

Stavros Christodoulou

Displaying similar documents to “Initially $κ$ -compact spaces for large $κ$ ”

$ω$ H-sets and cardinal invariants

Alessandro Fedeli (1998)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A subset $A$ of a Hausdorff space $X$ is called an $ω$ H-set in $X$ if for every open family $𝒰$ in $X$ such that $A \subset ⋃ 𝒰$ there exists a countable subfamily $𝒱$ of $𝒰$ such that $A \subset ⋃ {\bar{V} : V \in 𝒱}$ . In this paper we introduce a new cardinal function $t_{s θ}$ and show that $| A | \leq 2^{t_{s θ} (X) ψ_{c} (X)}$ for every $ω$ H-set $A$ of a Hausdorff space $X$ .

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

Reflecting character and pseudocharacter

Lucia R. Junqueira, Alberto M. E. Levi (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We say that a cardinal function $φ$ reflects an infinite cardinal $κ$ , if given a topological space $X$ with $φ (X) \geq κ$ , there exists $Y \in {[X]}^{\leq κ}$ with $φ (Y) \geq κ$ . We investigate some problems, discussed by Hodel and Vaughan in Reflection theorems for cardinal functions, Topology Appl. 100 (2000), 47–66, and Juhász in Cardinal functions and reflection, Topology Atlas Preprint no. 445, 2000, related to the reflection for the cardinal functions character and pseudocharacter. Among other results, we present some new equivalences...

A solution to Comfort's question on the countable compactness of powers of a topological group

Artur Hideyuki Tomita (2005)

Fundamenta Mathematicae

Similarity:

In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number $α \leq 2^{}$ , a topological group G such that $G^{γ}$ is countably compact for all cardinals γ < α, but $G^{α}$ is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under $M A_{c o u n t a b l e}$ . Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from $M A_{c o u n t a b l e}$ . However, the question has...

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

On families of Lindelöf and related subspaces of $2^{ω ₁}$

Lúcia Junqueira, Piotr Koszmider (2001)

Fundamenta Mathematicae

Similarity:

We consider the families of all subspaces of size ω₁ of $2^{ω ₁}$ (or of a compact zero-dimensional space X of weight ω₁ in general) which are normal, have the Lindelöf property or are closed under limits of convergent ω₁-sequences. Various relations among these families modulo the club filter in ${[X]}^{ω ₁}$ are shown to be consistently possible. One of the main tools is dealing with a subspace of the form X ∩ M for an elementary submodel M of size ω₁. Various results with this flavor are obtained. Another...

Uncountable cardinals have the same monadic ∀₁¹ positive theory over large sets

Athanassios Tzouvaras (2004)

Fundamenta Mathematicae

Similarity:

We show that uncountable cardinals are indistinguishable by sentences of the monadic second-order language of order of the form (∀X)ϕ(X) and (∃X)ϕ(X), for ϕ positive in X and containing no set-quantifiers, when the set variables range over large (= cofinal) subsets of the cardinals. This strengthens the result of Doner-Mostowski-Tarski [3] that (κ,∈), (λ,∈) are elementarily equivalent when κ, λ are uncountable. It follows that we can consistently postulate that the structures $(2^{κ}, {[2^{κ}]}^{> κ}, <)$ , $(2^{λ}, {[2^{λ}]}^{> λ}, <)$ are...

On the bounding, splitting, and distributivity numbers

Alan S. Dow, Saharon Shelah (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The cardinal invariants $𝔥, 𝔟, 𝔰$ of $𝒫 (ω)$ are known to satisfy that $ω_{1} \leq 𝔥 \leq min {𝔟, 𝔰}$ . We prove that all inequalities can be strict. We also introduce a new upper bound for $𝔥$ and show that it can be less than $𝔰$ . The key method is to utilize finite support matrix iterations of ccc posets following paper Ultrafilters with small generating sets by A. Blass and S. Shelah (1989).

On ordinals accessible by infinitary languages

Saharon Shelah, Pauli Väisänen, Jouko Väänänen (2005)

Fundamenta Mathematicae

Similarity:

Let λ be an infinite cardinal number. The ordinal number δ(λ) is the least ordinal γ such that if ϕ is any sentence of $L_{λ ⁺ ω}$ , with a unary predicate D and a binary predicate ≺, and ϕ has a model ℳ with $⟨ D^{ℳ}, ≺^{ℳ} ⟩$ a well-ordering of type ≥ γ, then ϕ has a model ℳ ’ where $⟨ D^{ℳ^{'}}, ≺^{ℳ^{'}} ⟩$ is non-well-ordered. One of the interesting properties of this number is that the Hanf number of $L_{λ ⁺ ω}$ is exactly $ℶ_{δ (λ)}$ . It was proved in [BK71] that if ℵ₀ < λ < κ $a r e r e g u l a r c a r d i n a l n u m b e r s, t h e n t h e r e i s a f o r c i n g e x t e n s i o n, p r e s e r v i n g c o f i n a l i t i e s, s u c h t h a t i n t h e e x t e n s i o n$ 2λ = κ $a n d δ (λ) < λ ⁺ ⁺ . W e i m p r o v e t h i s r e s u l t b y p r o v i n g t h e f o l l o w i n g : S u p p o s e ℵ ₀ < λ < θ \leq κ a r e c a r d i n a l n u m b e r s s u c h t h a t$ ∙ $λ^{< λ} = λ$ ; ∙ cf(θ) ≥ λ⁺ and $μ^{λ} < θ$ whenever μ < θ; ∙ $κ^{λ} = κ$ . Then there...

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

On isomorphism classes of $C (2^{} \oplus [0, α])$ spaces

Elói Medina Galego (2009)

Fundamenta Mathematicae

Similarity:

We provide a complete isomorphic classification of the Banach spaces of continuous functions on the compact spaces $2^{} \oplus [0, α]$ , the topological sums of Cantor cubes $2^{}$ , with smaller than the first sequential cardinal, and intervals of ordinal numbers [0,α]. In particular, we prove that it is relatively consistent with ZFC that the only isomorphism classes of $C (2^{} \oplus [0, α])$ spaces with ≥ ℵ₀ and α ≥ ω₁ are the trivial ones. This result leads to some elementary questions on large cardinals.

Definable orthogonality classes in accessible categories are small

Joan Bagaria, Carles Casacuberta, A. R. D. Mathias, Jiří Rosický (2015)

Journal of the European Mathematical Society

Similarity:

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class $𝒮$ of morphisms in a locally presentable category $𝒞$ of structures, the orthogonal class of objects...

Displaying similar documents to “Initially κ -compact spaces for large κ ”

Displaying similar documents to “Initially $κ$ -compact spaces for large $κ$ ”