相关论文: Small MAD families whose Isbell-Mr\'owka spaces ar…

Starting from an inaccessible cardinal, we construct a model of $ZF+DC$ where there exists a mad family and all sets of reals are $\mathbb Q$-measurable for $\omega^{\omega}$-bounding sufficiently absolute forcing notions $\mathbb Q$.

We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathcal I$-mad families, maximal eventually different families,…

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…

We construct different types of quasiperiodically forced circle homeomorphisms with transitive but non-minimal dynamics. Concerning the recent Poincar\'e-like classification for this class of maps of Jaeger-Stark, we demonstrate that…

We study some strong combinatorial properties of $\textsf{MAD}$ families. An ideal $\mathcal{I}$ is Shelah-Stepr\={a}ns if for every set $X\subseteq{\left[ \omega\right]}^{<\omega}$ there is an element of $\mathcal{I}$ that either…

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…

Answering questions of A. Avil\'es, F. Cabello S\'anchez, J. Castillo, M. Gonz\'alez and Y. Moreno we show that the following statements are independent of the usual axioms ZFC with arbitrarily large continuum: for every (some)…

Every mathematical structure has an elementary extension to a pseudo-countable structure, one that is seen as countable inside a suitable class model of set theory, even though it may actually be uncountable. This observation, proved easily…

While maximal independent families can be constructed from ZFC via Zorn's lemma, the presence of a maximal $\sigma$-independent family already gives an inner model with a measurable cardinal, and Kunen has shown that from a measurable…

We prove that for certain families of semi-algebraic convex bodies in 3 dimensions, the convex hull of $n$ disjoint bodies has $O(n\lambda_s(n))$ features, where $s$ is a constant depending on the family: $\lambda_s(n)$ is the maximum…

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…

In 1965, Paul Erd\H{o}s asked about the largest family $Y$ of $k$-sets in $\{ 1, \ldots, n \}$ such that $Y$ does not contain $s+1$ pairwise disjoint sets. This problem is commonly known as the Erd\H{o}s Matching Conjecture. We investigate…

We show that there are no infinite maximal almost disjoint ("mad") families in Solovay's model, thus solving a long-standing problem posed by A.D.R. Mathias in 1967. We also give a new proof of Mathias' theorem that no analytic infinite…

We study the relations between a generalization of pseudocompactness, named $(\kappa, M)$-pseudocompactness, the countably compactness of subspaces of $\beta \omega$ and the pseudocompactness of their hyperspaces. We show, by assuming the…

In this note we consider an arbitrary families of sets of $s_0$ ideal introduced by Marczewski-Szpilrajn. We show that in any uncountable Polish space $X$ and under some combinatorial and set theoretical assumptions ($cov(s_0)=\c$ for…

For each connected complex reductive group G, we find a family of new examples of complex quasi-Hamiltonian G-spaces with G-valued moment maps. These spaces arise naturally as moduli spaces of (suitably framed) meromorphic connections on…

In this note we prove several theorems that are related to some results and problems from [6]. We answer two of the main problems that were raised in [6]. First we give a ZFC example of a Hausdorff space in $C(\omega_1)$ that has…

We prove that every complete non-compact manifold of finite volume contains a (possibly non-compact) minimal hypersurface of finite volume. The main tool is the following result of independent interest: if a region $U$ can be swept out by a…

We consider the closed subspace of $\ell_\infty$ generated by $c_0$ and the characteristic functions of elements of an uncountable, almost disjoint family $\mathcal A$ of infinite subsets of $\mathbb N$. This Banach space has the form…

We answer a question from Raghavan and Stepr{\=a}ns' paper on weakly tight families by showing that $\mathfrak{s} = {\mathfrak{s}}_{\omega, \omega}$. Then we use this to construct a completely separable maximal almost disjoint family under…