Related papers: The ultrafilter and almost disjointness numbers

For each odd $m \geq 3$ we completely solve the problem of when an $m$-cycle system of order $u$ can be embedded in an $m$-cycle system of order $v$, barring a finite number of possible exceptions. In cases where $u$ is large compared to…

We prove that any quasirandom dense large graph in which all degrees are equal and even can be decomposed into any given collection of two-factors (2-regular spanning subgraphs). A special case of this result gives a new solution to the…

The Frankl's conjecture, formulated in 1979. and still open, states that in every family of sets closed for unions there is an element contained in at least half of the sets. FC-families are families for which it is proved that every…

More than 50 years ago, Erd\H os asked the following question: what is the maximum size of a family $\mathcal F$ of $k$-element subsets of an $n$-element set if it has no $s+1$ pairwise disjoint sets? This question attracted a lot of…

We present and study new definitions of universal and programmable universal unary functions and consider a new simplicity criterion: almost decidability of the halting set. A set of positive integers S is almost decidable if there exists a…

Building on recent work of Krueger and the second author, we prove the consistency of the Guessing Model Principle at $\omega_2$ together with the existence of an almost Kurepa Suslin tree. In particular, it is consistent that the Guessing…

We prove the $1$-dimensional flat chain conjecture in any complete and quasiconvex metric space, namely that metric $1$-currents can be approximated in mass by normal $1$-currents. The proof relies on a new Banach space isomorphism theorem,…

A ring is called clean if every element is the sum of an invertible element and an idempotent. This paper investigates the cleanness of AW*-algebras. We prove that all finite AW*-algebras are clean, affirmatively solving a question posed by…

For a given domain $\Omega \subset \Bbb{R}^n$, we consider the variational problem of minimizing the $L^1$-norm of the gradient on $\Omega$ of a function $u$ with prescribed continuous boundary values and satisfying a continuous lower…

A classic result of Erd\H{o}s and P\'osa says that any graph contains either $k$ vertex-disjoint cycles or can be made acyclic by deleting at most $O(k \log k)$ vertices. Here we generalize this result by showing that for all numbers $k$…

In the 1970s, Fathi, having proven that the group of compactly supported volume-preserving homeomorphisms of the $n$-ball is simple for $n \ge 3$, asked if the same statement holds in dimension $2$. We show that the group of compactly…

We provide a proof that analytic almost disjoint families of infinite sets of integers cannot be maximal using a result of Bourgain about compact sets of Baire class one functions. Inspired by this and related ideas, we then provide a new…

We develop some basic results about full amalgamation classes with intrinsic trascendentals. These classes have generics whose models may have finite subsets whose intrinsic closure is not contained in its algebraic closure. We will show…

We consider, for $a,l\geq1,$ $b,s,\alpha>0,$ and $p>q\geq1,$ the homogeneous Dirichlet problem for the equation $-\Delta_{p}u=\lambda u^{q-1}+\beta u^{a-1}\left\vert \nabla u\right\vert ^{b}+mu^{l-1}e^{\alpha u^{s}}$ in a smooth bounded…

Let $2 \leq y \leq x$ such that $\beta := \frac{\log x}{\log y} \rightarrow \infty$. Let $\omega_y(n)$ denote the number of distinct prime factors $p$ of $n$ such that $p \leq y$, and let $\mu_y(n) := \mu^2(n)(-1)^{\omega_y(n)}$, where…

A strong antidiamond principle (*c) is shown to be consistent with CH. This principle can be stated as a "P-ideal dichotomy": every P-ideal on omega-1 (i.e. an ideal that is sigma-directed under inclusion modulo finite) either has a closed…

We exhibit a sequence of flat polynomials with coefficients $0,1$. We thus get that there exist a sequences of Newman polynomials that are $L^\alpha$-flat, $0 \leq \alpha <2$. This settles an old question of Littlewood. In the opposite…

We show a general scheme of Ramsey-type results for partitions of countable sets of finite functions, where "one piece is big" is interpreted in the language originating in creature forcing. The heart of our proofs follows Glazer's proof of…

We continue the research of the relation $\hspace{1mm}\widetilde{\mid}\hspace{1mm}$ on the set $\beta {\mathbb{N}}$ of ultrafilters on ${\mathbb{N}}$, defined as an extension of the divisibility relation. It is a quasiorder, so we see it as…

We consider a large family of theories of equivalence relations, each with finitely many classes, and assuming the existence of an $\omega$-Erdos cardinal, we determine which of these theories are Borel complete. We develop machinery,…