Related papers: Definability and almost disjoint families

Let F be a set system on [n] with all sets having k elements and every pair of sets intersecting. The celebrated theorem of Erdos-Ko-Rado from 1961 says that any such system has size at most ${n-1 \choose k-1}$. A natural question, which…

We prove: Main Theorem: Let $\mathcal{K}$ be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality $\mu$. Let $\mu$ be a cardinal above the the L\"owenheim-Skolem…

For x and y sequences of real numbers define the inner product (x,y) = x(0)y(0) + x(1)y(1)+ ... which may not be finite or even exist. We say that x and y are orthogonal iff (x,y) converges and equals 0. Define l_p to be the set of all real…

(1) Every infinite, Abelian compact (Hausdorff) group K admits 2^|K|-many dense, non-Haar-measurable subgroups of cardinality |K|. When K is nonmetrizable, these may be chosen to be pseudocompact. (2) Every infinite Abelian group G admits a…

This is the Ph.D. thesis of the author, which was written under the supervision of Michael Hru\v{s}\'{a}k at UNAM. The main contributions of this thesis are the following: There is a $+$-Ramsey \textsf{MAD} family. This answers an old…

For a set $x$, let $\mathcal{S}(x)$ be the set of all permutations of $x$. We study several aspects of this notion in $\mathsf{ZF}$. The main results are as follows: (1) $\mathsf{ZF}$ proves that for all sets $x$, if $\mathcal{S}(x)$ is…

In this short note, we address two problems in extremal set theory regarding intersecting families. The first problem is a question posed by Kupavskii: is it true that given two disjoint cross-intersecting families $\mathcal{A}, \mathcal{B}…

Let $e(n,s)$ denote the maximum size of a family $\mathcal{F}$ of subsets of an $n$-element set that contains no $s$ pairwise disjoint members. In 1968, answering a question of Erd\H{o}s, Kleitman determined $e(sm-1,s)$ and $e(sm,s)$ for…

We answer an old question of Michael Hru\v{s}\'{a}k by constructing a $+$-Ramsey \textsf{MAD} family without the need of any additional axioms beyond $\mathsf{ZFC.}$ We also prove that every Miller-indestructible \textsf{MAD }family is…

Vaught's Conjecture states that if $T$ is a complete first order theory in a countable language that has more than $\aleph_0$ pairwise non-isomorphic countably infinite models, then $T$ has $2^{\aleph_0}$ such models. Morley showed that if…

We show there is a closed (in fact effectively closed, i.e., $\Pi^0_1$) eventually different family (working in ZF or less).

It is well-known that a finite axiomatization of Zermelo-Fraenkel set theory (ZF) is not possible in the same first-order language. In this note we show that a finite axiomatization is possible if we extent the language of ZF with the new…

Given an Abelian groups $G$, denote $\mu(G)$ the size of its largest sum-free subset and $f_{\max}(G)$ the number of maximal sum-free sets in $G$. Confirming a prediction by Liu and Sharifzadeh, we prove that all even-order $G\ne…

Under MA_{omega_1} every uncountable almost disjoint family is either anti-Luzin or has an uncountable Luzin subfamily. This fails under CH. Related properties are also investigated.

We introduce a new class of Abelian groups which lies strictly between the classes of co-Hopfian groups and Dedekind-finite groups, calling these groups {\it Bassian-finite}. We prove the surprising fact that in the torsion case the…

We prove that an infinite family of virtually overtwisted tight contact structures discovered by Honda on certain circle bundles over surfaces admit no symplectic semi-fillings. The argument uses results of Mrowka, Ozsvath and Yu on the…

We study a family of variants of Jensen's\emph{subcomplete forcing axiom}, $\mathsf{SCFA}$ and \emph{subproper forcing axiom}, $\mathsf{SubPFA}$. Using these we develop a general technique for proving non-implications of $\mathsf{SCFA}$,…

For every irrational real $\alpha$, let $M(\alpha) = \sup_{n\geq 1} a_n(\alpha)$ denote the largest partial quotient in its continued fraction expansion (or $\infty$, if unbounded). The $2$-adic Littlewood conjecture (2LC) can be stated as…

We discuss the proximal game and semi-proximality in $\Psi$-spaces of almost disjoint families over an infinite countable set and $\Psi$-spaces of ladder systems on $\omega_1$. We show that a semi-proximal almost disjoint families must be…

Let $t\ge 1$ be a given integer. Let ${\cal F}$ be a family of subsets of $[m]=\{1,2,\ldots,m\}$. Assume that for every pair of disjoint sets $S,T\subset [m]$ with $|S|=|T|=k$, there do not exist $2t$ sets in ${\cal F}$ where $t$ subsets of…