A MAD Q-set

Arnold W. Miller

Displaying similar documents to “A MAD Q-set”

MAD families and $P$ -points

Salvador García-Ferreira, Paul J. Szeptycki (2007)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The Katětov ordering of two maximal almost disjoint (MAD) families $𝒜$ and $ℬ$ is defined as follows: We say that $𝒜 \leq_{K} ℬ$ if there is a function $f : ω \to ω$ such that $f^{- 1} (A) \in ℐ (ℬ)$ for every $A \in ℐ (𝒜)$ . In [Garcia-Ferreira S., Hrušák M., Ordering MAD families a la Katětov, J. Symbolic Logic 68 (2003), 1337–1353] a MAD family is called $K$ -uniform if for every $X \in ℐ {(𝒜)}^{+}$ , we have that ${𝒜 |}_{X} \leq_{K} 𝒜$ . We prove that CH implies that for every $K$ -uniform MAD family $𝒜$ there is a $P$ -point $p$ of $ω^{*}$ such that the set of all Rudin-Keisler predecessors of $p$ is dense...

Asymmetric tie-points and almost clopen subsets of $ℕ^{*}$

Alan S. Dow, Saharon Shelah (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A tie-point of compact space is analogous to a cut-point: the complement of the point falls apart into two relatively clopen non-compact subsets. We review some of the many consistency results that have depended on the construction of tie-points of $ℕ^{*}$ . One especially important application, due to Veličković, was to the existence of nontrivial involutions on $ℕ^{*}$ . A tie-point of $ℕ^{*}$ has been called symmetric if it is the unique fixed point of an involution. We define the notion of an almost...

Special sets of reals and weak forms of normality on Isbell--Mrówka spaces

Vinicius de Oliveira Rodrigues, Victor dos Santos Ronchim, Paul J. Szeptycki (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We recall some classical results relating normality and some natural weakenings of normality in $Ψ$ -spaces over almost disjoint families of branches in the Cantor tree to special sets of reals like $Q$ -sets, $λ$ -sets and $σ$ -sets. We introduce a new class of special sets of reals which corresponds to the corresponding almost disjoint family of branches being $ℵ_{0}$ -separated. This new class fits between $λ$ -sets and perfectly meager sets. We also discuss conditions for an almost disjoint family $𝒜$ being...

On strong $(N, p, α)$ sumability of infinite series III.

R. Sinha (1973)

Matematički Vesnik

Similarity:

Effective finding of the solutions of the form $\sum_{l = 1}^{\infty} \frac{a_{l}}{x^{l}}$ for the differential equations of the finite and infinite order

K. Orlov (1980)

Matematički Vesnik

Similarity:

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

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

Another ⋄-like principle

Michael Hrušák (2001)

Fundamenta Mathematicae

Similarity:

A new ⋄-like principle $⋄_{}$ consistent with the negation of the Continuum Hypothesis is introduced and studied. It is shown that $\neg ⋄_{}$ is consistent with CH and that in many models of = ω₁ the principle $⋄_{}$ holds. As $⋄_{}$ implies that there is a MAD family of size ℵ₁ this provides a partial answer to a question of J. Roitman who asked whether = ω₁ implies = ω₁. It is proved that $⋄_{}$ holds in any model obtained by adding a single Laver real, answering a question of J. Brendle who asked whether = ω₁...

Cardinal sequences of length < ω₂ under GCH

István Juhász, Lajos Soukup, William Weiss (2006)

Fundamenta Mathematicae

Similarity:

Let (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put $_{λ} (α) = s \in (α) : s (0) = λ = m i n [s (β) : β < α]$ . We show that f ∈ (α) iff for some natural number n there are infinite cardinals $λ ₀ i > λ ₁ > . . . > λ_{n - 1}$ and ordinals $α ₀, . . ., α_{n - 1}$ such that $α = α ₀ + \dots + α_{n - 1}$ and $f = f ₀ ⏜ f ₁ ⏜ . . . ⏜ f_{n - 1}$ where each $f_{i} \in_{λ_{i}} (α_{i})$ . Under GCH we prove that if α < ω₂ then (i) $_{ω} (α) = s \in^{α} ω, ω ₁ : s (0) = ω$ ; (ii) if λ > cf(λ) = ω, $_{λ} (α) = s \in^{α} λ, λ ⁺ : s (0) = λ, s^{- 1} λ i s ω ₁ - c l o s e d i n α$ ; (iii) if cf(λ) = ω₁, $_{λ} (α) = s \in^{α} λ, λ ⁺ : s (0) = λ, s^{- 1} λ i s ω - c l o s e d a n d s u c c e s s o r - c l o s e d i n α$ ; (iv) if cf(λ) > ω₁, $_{λ} (α) =^{α} λ$ . This yields a complete characterization of the classes (α) for all...

On certain non-constructive properties of infinite-dimensional vector spaces

Eleftherios Tachtsis (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In set theory without the axiom of choice ( $AC$ ), we study certain non-constructive properties of infinite-dimensional vector spaces. Among several results, we establish the following: (i) None of the principles AC $^{LO}$ (AC for linearly ordered families of nonempty sets)—and hence AC $^{WO}$ (AC for well-ordered families of nonempty sets)— $DC (< κ)$ (where $κ$ is an uncountable regular cardinal), and “for every infinite set $X$ , there is a bijection $f : X \to {0, 1} \times X$ ”, implies the statement “there exists a field $F$ such that...

On the Set-Theoretic Strength of Countable Compactness of the Tychonoff Product $2^{ℝ}$

Eleftherios Tachtsis (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We work in ZF set theory (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC) and show the following: 1. The Axiom of Choice for well-ordered families of non-empty sets ( $A C^{W O}$ ) does not imply “the Tychonoff product $2^{ℝ}$ , where 2 is the discrete space 0,1, is countably compact” in ZF. This answers in the negative the following question from Keremedis, Felouzis, and Tachtsis [Bull. Polish Acad. Sci. Math. 55 (2007)]: Does the Countable Axiom of Choice for families of non-empty sets...

On non-normality points, Tychonoff products and Suslin number

Sergei Logunov (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let a space $X$ be Tychonoff product $\prod_{α < τ} X_{α}$ of $τ$ -many Tychonoff nonsingle point spaces $X_{α}$ . Let Suslin number of $X$ be strictly less than the cofinality of $τ$ . Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification $β X$ . In particular, this is true if $X$ is either $R^{τ}$ or $ω^{τ}$ and a cardinal $τ$ is infinite and not countably cofinal.