English
Related papers

Related papers: How to drive our families mad

200 papers

Generalizing the notion of a tight almost disjoint family, we introduce the notions of a {\em tight eventually different} family of functions in Baire space and a {\em tight eventually different set of permutations} of $\omega$. Such sets…

Logic · Mathematics 2024-05-22 Vera Fischer , Corey Bacal Switzer

In this work, we introduce a natural notion concerning finite vector spaces. A family of $k$-dimensional subspaces of $\mathbb{F}_q^n$, which forms a partial spread, is called almost affinely disjoint if any $(k+1)$-dimensional subspace…

Combinatorics · Mathematics 2021-06-29 Hedongliang Liu , Nikita Polyanskii , Ilya Vorobyev , Antonia Wachter-Zeh

We show that if all collections of infinite subsets of $\N$ have the Ramsey property, then there are no infinite maximal almost disjoint (mad) families. This solves a long-standing problem going back to Mathias \cite{mathias}. The proof…

Logic · Mathematics 2022-10-11 David Schrittesser , Asger Törnquist

We study the notion of $\mathcal J$-MAD families where $\mathcal J$ is a Borel ideal on $\omega$. We show that if $\mathcal J$ is an arbitrary $F_\sigma$ ideal, or is any finite or countably iterated Fubini product of $F_\sigma$ ideals,…

Logic · Mathematics 2022-10-07 Karen Bakke Haga , David Schrittesser , Asger Törnquist

Using ideas from Shelah's recent proof that a completely separable maximal almost disjoint family exists when $\c < {\aleph}_{\omega}$, we construct a weakly tight family under the hypothesis $\s \leq \b < {\aleph}_{\omega}$. The case when…

Logic · Mathematics 2019-08-15 Dilip Raghavan , Juris Steprāns

Starting from a model with a Laver-indestructible supercompact cardinal $\kappa$, we construct a model of $ZF+DC_{\kappa}$ where there are no $\kappa$-mad families.

Logic · Mathematics 2019-06-25 Haim Horowitz , Saharon Shelah

Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We…

Logic · Mathematics 2018-03-09 Vera Fischer , Daniel T. Soukup

Given a countable transitive model $M$ for ZFC+CH, we prove that one can produce a maximal almost disjoint family in $M$ whose Vietoris Hyperspace of its Isbell-Mr\'owka space is pseudocompact on every Cohen extension of $M$. We also show…

General Topology · Mathematics 2019-09-24 Vinicius de Oliveira Rodrigues , Artur Hideyuki Tomita

We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(\omega)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost…

We show that a parametrized $\diamondsuit$ principle, corresponding to the uniformity of the meager ideal, implies that the minimum cardinality of an infinite maximal almost disjoint family of block subspaces in a countable vector space is…

Logic · Mathematics 2024-07-22 Iian B. Smythe

A function f from reals to reals (f:R->R) is almost continuous (in the sense of Stallings) iff every open set in the plane which contains the graph of f contains the graph of a continuous function. Natkaniec showed that for any family F of…

Logic · Mathematics 2016-09-06 Krzysztof Ciesielski , Arnold W. Miller

We consider weakenings of normality in $\Psi$-spaces and prove that the existence of a MAD family whose $\Psi$-space is almost-normal is independent of \textsf{ZFC}. We also construct a partly-normal not quasi-normal AD family, answering…

General Topology · Mathematics 2021-05-12 César Corral

Let $\mathfrak{i}$ denote the minimal cardinality of a maximal independent family and let $\mathfrak{a}_T$ denote the minimal cardinality of a maximal family of pairwise almost disjoint subtrees of $2^{<\omega}$. Using a countable support…

Logic · Mathematics 2019-12-24 Vera Fischer

We prove that any definable family of subsets of a definable infinite set $A$ in an o-minimal structure has cardinality at most $|A|$. We derive some consequences in terms of counting definable types and existence of definable topological…

Logic · Mathematics 2023-06-05 Pablo Andújar Guerrero

We prove that under a principle of Ramsey regularity there are no infinite maximal almost disjoint families with respect to the transfinitely iterated Fr\'echet ideals. The results of the present paper were announced by the authors in the…

Logic · Mathematics 2024-12-04 David Schrittesser , Asger Törnquist

We show that under the Bounded Proper Forcing Axiom and an anti-large cardinal assumption, there is a $\mathbf{\Pi}^1_2$ MAD family.

Logic · Mathematics 2022-10-11 Vera Fischer , David Schrittesser , Thilo Weinert

We show that it is consistent that the continuum is as large as you wish, and for each uncountable cardinal $\kappa$ below the continuum, there are a subset $T$ of the reals and a family $A$ of countable subsets of $T$ such that (1) both…

Logic · Mathematics 2010-03-15 Lajos Soukup

We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal ${\kappa}\in On$, (1) ${\kappa}^+\to ({\kappa},{\omega}+1)$, (2) any…

Logic · Mathematics 2023-06-13 Tamás Csernák , Lajos Soukup

Let $n > k > 1$ be integers, $[n] = \{1, \ldots, n\}$. Let $\mathcal F$ be a family of $k$-subsets of~$[n]$. The family $\mathcal F$ is called intersecting if $F \cap F' \neq \emptyset$ for all $F, F' \in \mathcal F$. It is called almost…

Combinatorics · Mathematics 2021-03-22 Peter Frankl , Andrey Kupavskii

Almost disjoint families of true cardinality $\mathfrak{c}$ are used to produce an example of a mildly-normal not partly-normal $\Psi$-space and a quasi-normal not almost-normal $\Psi$-space. This is related with a problem posed by Lufti…

General Topology · Mathematics 2020-07-14 Sergio A , Garcia-Balan , Paul J. Szeptycki