Displaying similar documents to “On ω 2 -saturated families”

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 ) κ , (ii) ψ ( X ) 2 κ , and (iii) for all A [ X ] 2 κ , A ¯ 2 κ , then | X | 2 κ ; and (b) (Fedeli [2]) If X is a T 2 -space then | X | 2 aql ( X ) t ( X ) ψ c ( X ) .

Maximal almost disjoint families of functions

Dilip Raghavan (2009)

Fundamenta Mathematicae

Similarity:

We study maximal almost disjoint (MAD) families of functions in ω ω that satisfy certain strong combinatorial properties. In particular, we study the notions of strongly and very MAD families of functions. We introduce and study a hierarchy of combinatorial properties lying between strong MADness and very MADness. Proving a conjecture of Brendle, we show that if c o v ( ) < , then there no very MAD families. We answer a question of Kastermans by constructing a strongly MAD family from = . Next, we...

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 ξ : ξ < λ } [ κ ] μ such that | { ξ : | S ξ A | = μ } | < λ whenever A [ κ ] < κ . 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...

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 ) 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 λ κ . 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 X .

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

Pcf theory and cardinal invariants of the reals

Lajos Soukup (2011)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The additivity spectrum ADD ( ) of an ideal 𝒫 ( I ) is the set of all regular cardinals κ such that there is an increasing chain { A α : α < κ } with α < κ A α . We investigate which set A of regular cardinals can be the additivity spectrum of certain ideals. Assume that = or = 𝒩 , where denotes the σ -ideal generated by the compact subsets of the Baire space ω ω , and 𝒩 is the ideal of the null sets. We show that if A is a non-empty progressive set of uncountable regular cardinals and pcf ( A ) = A , then ADD ( ) = A in some c.c.c generic extension...