We present a survey of some results and problems concerning constructions which require a diagonalization of length continuum to be carried out, particularly constructions of almost disjoint families of various sorts. We emphasize the role of cardinal invariants of the continuum and their combinatorial characterizations in such constructions.

We study the notion of [Formula: see text]-MAD families where [Formula: see text] is a Borel ideal on [Formula: see text]. We show that if [Formula: see text] is any finite or countably iterated Fubini product of the ideal of finite sets [Formula: see text], then there are no analytic infinite [Formula: see text]-MAD families, and assuming Projective Determinacy and Dependent Choice there are no infinite projective [Formula: see text]-MAD families; and under the full Axiom of Determinacy (...) [Formula: see text][Formula: see text] or under [Formula: see text] there are no infinite [Formula: see text]-mad families. Similar results are obtained in Solovay’s model. These results apply in particular to the ideal [Formula: see text], which corresponds to the classical notion of MAD families, as well as to the ideal [Formula: see text]. The proofs combine ideas from invariant descriptive set theory and forcing. (shrink)

We study the notion of ????-MAD families where ???? is a Borel ideal on ω. We show that if ???? is any finite or countably iterated Fubini product of the ideal of finite sets Fin, then there are no analytic...

Keywords: almost disjoint families; small uncountable cardinals; iterations of ψ; Hausdorff; Urysohn.

For a set M, let |M| denote the cardinality of M. A family F is called strongly almost disjoint if there is an n∈ω such that |A∩B|<n for any two distinct elements A, B of F. It is shown in ZF (without the axiom of choice) that, for all infinite sets M and all strongly almost disjoint families F⊆P(M), |F|<|P(M)| and there are no finite-to-one functions from P(M) into F, where P(M) denotes the power set (...) of M. (shrink)

Partitioner algebras are defined by Baumgartner and Weese 619) as a natural tool for studying the properties of maximal almost disjoint families of subsets of ω. We prove from PFA+ and that there exists a partitioner algebra which contains a subalgebra which is not representable as a partitioner algebra.

The collection of branches (maximal linearly ordered sets of nodes) of the tree $^{ (ordered by inclusion) forms an almost disjoint family (of sets of nodes). This family is not maximal--for example, any level of the tree is almost disjoint from all of the branches. How many sets must be added to the family of branches to make it maximal? This question leads to a series of definitions and results: a set of nodes is off-branch if (...) it is almost disjoint from every branch in the tree; an off-branch family is an almost disjoint family of off-branch sets; and o is the minimum cardinality of a maximal off-branch family. Results concerning o include: (in ZFC) a ≤ p, and (consistent with ZFC) o is not equal to any of the standard small cardinal invariants b,a,d, or c = 2 ω . Most of these consistency results use standard forcing notions--for example, $\mathfrak{b = a in the Cohen model. Many interesting open questions remain, though--for example, whether d ≤ o. (shrink)

In set theory without the Axiom of Choice ( $\mathsf {AC}$ ), we investigate the open problem of the deductive strength of statements which concern the existence of almost disjoint and maximal almost disjoint (MAD) families of infinite-dimensional subspaces of a given infinite-dimensional vector space, as well as the extension of almost disjoint families in infinite-dimensional vector spaces to MAD families.

In this paper we show that it is consistent with ZFC that the cardinality of every maximal cofinitary group of Sym(ω) is strictly greater than the cardinal numbers o and a.

We show that it is consistent with ZFC + ¬CH that there is a maxima a most disjoint permutation family A ⊆ Symsuch that A is a proper subset of an eventually different family E ⊆ ℕℕ and |A| < |E|. We also ask severa questions in this area.

We investigate some aspects of bounding, splitting, and almost disjointness. In particular, we investigate the relationship between the bounding number, the closed almost disjointness number, the splitting number, and the existence of certain kinds of splitting families.

If F ⊆ NN is an analytic family of pairwise eventually different functions then the following strong maximality condition fails: For any countable H ⊆ NN. no member of which is covered by finitely many functions from F, there is f ∈ F such that for all h ∈ H there are infinitely many integers k such that f(k) = h(k). However if V = L then there exists a coanalytic family of pairwise eventually different functions satisfying this strong maximality (...) condition. (shrink)

An ordering (≤K) on maximal almost disjoint (MAD) families closely related to destructibility of MAD families by forcing is introduced and studied. It is shown that the order has antichains of size.

Two sets are said to be almost disjoint if their intersection is finite. Almost disjoint subsets of [ω]ω and ωω have been studied for quite some time. In particular, the cardinal invariants \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{a}}$$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{a}_e}$$\end{document}, defined to be the minimum cardinality of a maximal infinite almost disjoint family of [ω]ω and ωω respectively, are known to be (...) consistently less than \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{c}}$$\end{document}. Here we examine analogs for functions in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}^\omega}$$\end{document} and projections on l2, showing that they too can be consistently less than \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{c}}$$\end{document}. (shrink)

In this survey paper we collect several known results on destroying tall ideals on countable sets and maximal almost disjoint families with forcing. In most cases we provide streamlined proofs of the presented results. The paper contains results of many authors as well as a preview of results of a forthcoming paper of Brendle, Guzmán, Hrušák, and Raghavan.

Let A[ω]ω be a maximal almost disjoint family and assume P is a forcing notion. Say A is P-indestructible if A is still maximal in any P-generic extension. We investigate P-indestructibility for several classical forcing notions P. In particular, we provide a combinatorial characterization of P-indestructibility and, assuming a fragment of MA, we construct maximal almost disjoint families which are P-indestructible yet Q-destructible for several pairs of forcing notions . We close with a detailed investigation (...) of iterated Sacks indestructibility. (shrink)

We show the consistency of ${\frak o} <{\frak d}$ where ${\frak o}$ is the size of the smallest off-branch family, and ${\frak d}$ is as usual the dominating number. We also prove the consistency of ${\frak b} < {\frak a}$ with large continuum. Here, ${\frak b}$ is the unbounding number, and ${\frak a}$ is the almost disjointness number.

We show in ZFC that the existence of completely separable maximal almost disjoint families of subsets of $\omega $ implies that the modal logic $\mathbf {S4.1.2}$ is complete with respect to the Čech–Stone compactification of the natural numbers, the space $\beta \omega $. In the same fashion we prove that the modal logic $\mathbf {S4}$ is complete with respect to the space $\omega ^*=\beta \omega \setminus \omega $. This improves the results of G. Bezhanishvili and J. Harding (...) in [4], where the authors prove these theorems under stronger assumptions. Our proof is also somewhat simpler. (shrink)

Using almost disjoint coding we prove the consistency of the existence of a definable ω-mad family of infinite subsets of ω together with.

We show that Miller partition forcing preserves selective independent families and P-points, which implies the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {u}=\mathfrak {i}<\mathfrak {a}_T=\omega _2$. In addition, we show that Shelah’s poset for destroying the maximality of a given maximal ideal preserves tight mad families and so we establish the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {i}=\omega _1<\mathfrak {u}=\mathfrak {a}_T=\omega _2$.

We show in ZFC that the existence of completely separable maximal almost disjoint families of subsets of $\omega $ implies that the modal logic $\mathbf {S4.1.2}$ is complete with respect to the Čech–Stone compactification of the natural numbers, the space $\beta \omega $. In the same fashion we prove that the modal logic $\mathbf {S4}$ is complete with respect to the space $\omega ^*=\beta \omega \setminus \omega $. This improves the results of G. Bezhanishvili and J. Harding (...) in [4], where the authors prove these theorems under stronger assumptions. Our proof is also somewhat simpler. (shrink)

A maximal almost disjoint (mad) family $\mathscr{A} \subseteq [\omega]^\omega$ is Cohen-stable if and only if it remains maximal in any Cohen generic extension. Otherwise it is Cohen-unstable. It is shown that a mad family, A, is Cohen-unstable if and only if there is a bijection G from ω to the rationals such that the sets G[A], A ∈A are nowhere dense. An ℵ 0 -mad family, A, is a mad family with the property that given any countable family (...) $\mathscr{B} \subset [\omega]^\omega$ such that each element of B meets infinitely many elements of A in an infinite set there is an element of A meeting each element of B in an infinite set. It is shown that Cohen-stable mad families exist if and only if there exist ℵ 0 -mad families. Either of the conditions b = c or $\mathfrak{a} ) implies that there exist Cohen-stable mad families. Similar results are obtained for splitting families. For example, a splitting family, S, is Cohen-unstable if and only if there is a bijection G from ω to the rationals such that the boundaries of the sets G[S], S ∈S are nowhere dense. Also, Cohen-stable splitting families of cardinality ≤ κ exist if and only if ℵ 0 -splitting families of cardinality ≤ κ exist. (shrink)

The main topics of this thesis are cardinal invariants, P -points and MAD families. Cardinal invariants of the continuum are cardinal numbers that are bigger than $\aleph _{0}$ and smaller or equal than $\mathfrak {c}.$ Of course, they are only interesting when they have some combinatorial or topological definition. An almost disjoint family is a family of infinite subsets of $\omega $ such that the intersection of any two of its elements is finite. A MAD family is (...) a maximal almost disjoint family. An ultrafilter $\mathcal {U}$ on $\omega $ is called a P-point if every countable $\mathcal {B\subseteq U}$ there is $X\in $ $\mathcal {U}$ such that $X\setminus B$ is finite for every $B\in \mathcal {B}.$ This kind of ultrafilters has been extensively studied, however there is still a large number of open questions about them.In the preliminaries we recall the principal properties of filters, ultrafilters, ideals, MAD families and cardinal invariants of the continuum. We present the construction of Shelah, Mildenberger, Raghavan, and Steprāns of a completely separable MAD family under $\mathfrak {s\leq a}.$ None of the results in this chapter are due to the author.The second chapter is dedicated to a principle of Sierpiński. The principle $\left $ of Sierpiński is the following statement: There is a family of functions $\left \{ \varphi _{n}:\omega _{1}\longrightarrow \omega _{1}\mid n\in \omega \right \} $ such that for every $I\in \left [ \omega _{1}\right ] ^{\omega _{1}}$ there is $n\in \omega $ for which $\varphi _{n}\left [ I\right ] =\omega _{1}.$ This principle was recently studied by Arnie Miller. He showed that this principle is equivalent to the following statement: There is a set $X=\left \{ f_{\alpha }\mid \alpha \alpha $ then $f_{\beta }\cap g$ is infinite. Miller showed that the principle of Sierpiński implies that non $\left =\omega _{1}.$ He asked if the converse was true, i.e., does non $\left =\omega _{1}$ imply the principle $\left $ of Sierpiński? We answer his question affirmatively. In other words, we show that non $\left =\omega _{1}$ is enough to construct an $\mathcal {IE}$ -Luzin set. It is not hard to see that the $\mathcal {IE}$ -Luzin set we constructed is meager. This is no coincidence, because with the aid of an inaccessible cardinal, we construct a model where non $\left =\omega _{1}$ and every $\mathcal {IE}$ -Luzin set is meager.The third chapter is dedicated to a conjecture of Hrušák. Michael Hrušák conjectured the following: Every Borel cardinal invariant is either at most non $\left $ or at least cov $\left $. Although the veracity of this conjecture is still an open problem, we were able to obtain some partial results: The conjecture is false for “Borel invariants of $\omega _{1}^{\omega }$ ” nevertheless, it is true for a large class of definable invariants. This is part of a joint work with Michael Hrušák and Jindřich Zapletal.In the fourth chapter we present a survey on destructibility of ideals and MAD families. We prove several classic theorems, but we also prove some new results. For example, we show that every almost disjoint family of size less than $\mathfrak {c}$ can be extended to a Cohen indestructible MAD family is equivalent to $\mathfrak {b=c}$. A MAD family $\mathcal {A}$ is Shelah–Steprāns if for every $X\subseteq \left [ \omega \right ] ^{<\omega }\setminus \left \{ \emptyset \right \} $ either there is $A\in \mathcal {I}\left $ such that $s\cap A\neq \emptyset $ for every $s\in X$ or there is $B\in \mathcal {I}\left $ that contains infinitely many elements of X $ denotes the ideal generated by $\mathcal {A}$ ). This concept was introduced by Raghavan which is connected to the notion of “strongly separable” introduced by Shelah and Steprāns. We prove that Shelah–Steprāns MAD families have very strong indestructibility properties: Shelah–Steprāns MAD families are indestructible for “many” definable forcings that does not add dominating reals. According to the author’s best knowledge, this is the strongest notion that has been considered in the literature so far. In spite of their strong indestructibility, Shelah–Steprāns MAD families can be destroyed by a ccc forcing that does not add unsplit or dominating reals. We also consider some strong combinatorial properties of MAD families and show the relationships between them.The fifth chapter is one of the most important chapters in the thesis. A MAD family $\mathcal {A}$ is called $+$ -Ramsey if every tree that branches into $\mathcal {I}\left $ -positive sets has an $\mathcal {I}\left $ -positive branch. Michael Hrušák’s first published question is the following: Is there a $+$ -Ramsey MAD family? It was previously known that such families can consistently exist. However, there was no construction of such families using only the axioms of ZFC. We solve this problem by constructing such a family without any extra assumptions.In the fourth and fifth chapters, we introduce several notions of MAD families, in the sixth chapter we prove several implications and non implications between them. We construct several MAD families with different properties.In the seventh chapter we build models without P -points. We show that there are no P -points after adding Silver reals either iteratively or by the side by side product. These results have some important consequences: The first one is that is its possible to get rid of P -points using only definable forcings. This answers a question of Michael Hrušák. We can also use our results to build models with no P -points and with arbitrarily large continuum, which was also an open question. These results were obtained with David Chodounský.prepared by Osvaldo Guzmán GonzálezE-mail : [email protected] : https://arxiv.org/abs/1810.09680. (shrink)

We study cardinal invariants connected to certain classical orderings on the family of ideals on ω. We give topological and analytic characterizations of these invariants using the idealized version of Fréchet-Urysohn property and, in a special case, using sequential properties of the space of finitely-supported probability measures with the weak* topology. We investigate consistency of some inequalities between these invariants and classical ones, and other related combinatorial questions. At last, we discuss maximality properties of almost disjoint families (...) related to certain ordering on ideals. (shrink)

We present a number of results involving almost disjoint sets and Martin's axiom. Included is an example, due to K. Kunen, of a c.c.c. partial order without property K whose product with every c.c.c. partial order is c.c.c.

We consider maximal almost disjoint families of block subspaces of countable vector spaces, focusing on questions of their size and definability. We prove that the minimum infinite cardinality of such a family cannot be decided in ZFC and that the “spectrum” of cardinalities of mad families of subspaces can be made arbitrarily large, in analogy to results for mad families on ω. We apply the author’s local Ramsey theory for vector spaces [32] to give partial (...) results concerning their definability. (shrink)

Brendle, J., H. Judah and S. Shelah, Combinatorial properties of Hechler forcing, Annals of Pure and Applied Logic 59 185–199. Using a notion of rank for Hechler forcing we show: assuming ωV1 = ωL1, there is no real in V[d] which is eventually different from the reals in L[ d], where d is Hechler over V; adding one Hechler real makes the invariants on the left-hand side of Cichoń's diagram equal ω1 and those on the right-hand side equal 2ω and (...) produces a maximal almost disjoint family of subsets of ω of size ω1; there is no perfect set of random reals over V in V[ r][ d], where r is random over V and d Hechler over V[r], thus answering a question of the first and second authors. (shrink)

We introduce the property “F-linked” of subsets of posets for a given free filter F on the natural numbers, and define the properties “μ-F-linked” and “θ-F-Knaster” for posets in a natural way. We show that θ-F-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general technique to construct θ-Fr-Knaster posets (where Fr is the Frechet ideal) via matrix iterations of <θ-ultrafilter-linked posets (restricted to (...) some level of the matrix). This is applied to prove consistency results about Cichoń's diagram (without using large cardinals) and to prove the consistency of the fact that, for each Yorioka ideal, the four cardinal invariants associated with it are pairwise different. At the end, we show that three strongly compact cardinals are enough to force that Cichoń's diagram can be separated into 10 different values. (shrink)

The main notion dealt with in this article is where A is a Boolean algebra. A partition of 1 is a family ofnonzero pairwise disjoint elements with sum 1. One of the main reasons for interest in this notion is from investigations about maximal almost disjoint families of subsets of sets X, especially X=ω. We begin the paper with a few results about this set-theoretical notion.Some of the main results of the paper are:• (1) If there (...) is a maximal family of size λ≥κ of pairwise almost disjoint subsets of κ each of size κ, then there is a maximal family of size λ of pairwise almost disjoint subsets of κ+ each of size κ.• (2) A characterization of the class of all cardinalities of partitions of 1 in a product in terms of such classes for the factors; and a similar characterization for weak products.• (3) A cardinal number characterization of sets of cardinals with a largest element which are for some BA the set of all cardinalities of partitions of 1 of that BA.• (4) A computation of the set of cardinalities of partitions of 1 in a free product of finite-cofinite algebras. (shrink)

We show that it is consistent with ZFC + ¬CH that there is a maximal cofinitary group (or, maximal almost disjoint group) G ≤ Sym(ω) such that G is a proper subset of an almost disjoint family A $\subseteq$ Sym(ω) and |G| < |A|. We also ask several questions in this area.

$(X_\alpha: \alpha is a strong chain in ℘(ω 1 )/Fin if and only if X β - X α is finite and X α - X β is uncountable for each $\beta . We show that it is consistent that a strong chain in ℘(ω 1 ) exists. On the other hand we show that it is consistent that there is a strongly almost-disjoint family in ℘(ω 1 ) but no strong chain exists: □ ω 1 is used (...) to construct a c.c.c forcing that adds a strong chain and Chang's Conjecture to prove that there is no strong chain. (shrink)

We construct several forcing models in each of which there exists a maximal cofinitary group, i.e., a maximal almost disjoint group, G≤Sym, such that G is also a maximal almost disjoint family in Sym. We also ask several open questions in this area in the fourth section of this paper.

The main purpose of this dissertation is to apply and develop new forcing techniques to obtain models where several cardinal characteristics are pairwise different as well as force many (even more, continuum many) different values of cardinal characteristics that are parametrized by reals. In particular, we look at cardinal characteristics associated with strong measure zero, Yorioka ideals, and localization and anti-localization cardinals.In this thesis we introduce the property “F-linked” of subsets of posets for a given free filter F on the (...) natural numbers, and define the properties “ $\mu $ -F-linked” and “ $\theta $ -F-Knaster” for posets in a natural way. We show that $\theta $ -F-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. These kinds of posets led to the development of a general technique to construct $\theta $ - $\textrm {Fr}$ -Knaster posets (where $\textrm {Fr}$ is the Frechet ideal) via matrix iterations of ${<}\theta $ -ultrafilter-linked posets (restricted to some level of the matrix). The latter technique allows proving consistency results about Cichoń’s diagram (without using large cardinals) and to prove the consistency of the fact that, for each Yorioka ideal, the four cardinal characteristics associated with it are pairwise different. Another important application is to show that three strongly compact cardinals are enough to force that Cichoń’s diagram can be separated into 10 different values. Later on, it was shown by Goldstern, Kellner, Mejía, and Shelah that no large cardinals are needed for Cichoń’s maximum (J. Eur. Math. Soc. 24 (2022), no. 11, p. 3951–3967).On the other hand, we deal with certain types of tree forcings including Sacks forcing, and show that these increase the covering of the strong measure zero ideal $\mathcal {SN}$. As a consequence, in Sacks model, such covering number is equal to the size of the continuum, which indicates that this covering number is consistently larger than any other classical cardinal characteristics of the continuum. Even more, Sacks forcing can be used to force that $\operatorname {\mathrm{non}}(\mathcal {SN})<\operatorname {\mathrm{cov}}(\mathcal {SN})<\operatorname {\mathrm{cof}}(\mathcal {SN})$, which is the first consistency result where more than two cardinal characteristics associated with $\mathcal {SN}$ are pairwise different. To obtain another result in this direction, we provide bounds for $\operatorname {\mathrm{cof}}(\mathcal {SN})$, which generalizes Yorioka’s characterization of $\mathcal {SN}$ (J. Symbolic Logic 67.4 (2002), p. 1373–1384). As a consequence, we get the consistency of $\operatorname {\mathrm{add}}(\mathcal {SN})=\operatorname {\mathrm{cov}}(\mathcal {SN})<\operatorname {\mathrm{non}}(\mathcal {SN})<\operatorname {\mathrm{cof}}(\mathcal {SN})$ with ZFC (via a matrix iteration forcing construction).We conclude this thesis by combining creature forcing approaches by Kellner and Shelah (Arch. Math. Logic 51.1–2 (2012), p. 49–70) and by Fischer, Goldstern, Kellner, and Shelah (Arch. Math. Logic 56.7–8 (2017), p. 1045–1103) to show that, under CH, there is a proper $\omega ^\omega $ -bounding poset with $\aleph _2$ -cc that forces continuum many pairwise different cardinal characteristics, parametrized by reals, for each one of the following six types: uniformity and covering numbers of Yorioka ideals as well as both kinds of localization and anti-localization cardinals, respectively. This answers several open questions from Klausner and Mejía (Arch. Math. Logic 61 (2022), pp. 653–683).Abstract prepared by Miguel Antonio Cardona-MontoyaE-mail: [email protected]: https://repositum.tuwien.at/handle/20.500.12708/19629. (shrink)

We investigate possible cardinalities of maximal antichains in the poset of copies \,\subseteq \rangle \) of a countable ultrahomogeneous relational structure \. It turns out that if the age of \ has the strong amalgamation property, then, defining a copy of \ to be large iff it has infinite intersection with each orbit of \, the structure \ can be partitioned into countably many large copies, there are almost disjoint families of large copies of size continuum and, (...) hence, there are antichains of size continuum in the poset \\). Finally, we show that the posets of copies of all countable ultrahomogeneous partial orders contain maximal antichains of cardinality continuum and determine which of them contain countable maximal antichains. That holds, in particular, for the generic poset. (shrink)

We discuss a problem asked by E. van Douwen and A. Miller [5] in various forcing models.

Let ${\mathbb{B}}$ and ${\mathbb{C}}$ be Boolean algebras and ${e: \mathbb{B}\rightarrow \mathbb{C}}$ an embedding. We examine the hierarchy of ideals on ${\mathbb{C}}$ for which ${ \bar{e}: \mathbb{B}\rightarrow \mathbb{C} / \fancyscript{I}}$ is a regular (i.e. complete) embedding. As an application we deal with the interrelationship between ${\fancyscript{P}(\omega)/{{\rm fin}}}$ in the ground model and in its extension. If M is an extension of V containing a new subset of ω, then in M there is an almost disjoint refinement of the family (...) ([ω]ω) V . Moreover, there is, in M, exactly one ideal ${\fancyscript{I}}$ on ω such that ${(\fancyscript{P}(\omega)/{{\rm fin}})^V}$ is a dense subalgebra of ${(\fancyscript{P}(\omega)/\fancyscript{I})^M}$ if and only if M does not contain an independent (splitting) real. We show that for a generic extension V[G], the canonical embedding $$\fancyscript{P}^V(\omega){/}{\rm fin}\hookrightarrow \fancyscript{P}(\omega){/}(U(Os)(\mathbb{B}))^G$$ is a regular one, where ${U(Os)(\mathbb{B})}$ is the Urysohn closure of the zero-convergence structure on ${\mathbb{B}}$. (shrink)

For a subset A of a Polish group G, we study the (almost) packing index pack( A) (respectively, Pack( A)) of A, equal to the supremum of cardinalities |S| of subsets $S\subset G$ such that the family of shifts $\{xA\}_{x\in S}$ is (almost) disjoint (in the sense that $|xA\cap yA|<|G|$ for any distinct points $x,y\in S$). Subsets $A\subset G$ with small (almost) packing index are large in a geometric sense. We show that $\pack}(A)\in\mathbb{N}\cup\{\aleph_0,\mathfrak{c}\}$ for any σ-compact (...) subset A of a Polish group. In each nondiscrete Polish Abelian group G we construct two closed subsets $A,B\subset G$ with $\mathrm{pack}(A)=\mathrm{pack}(B)=\mathfrak{c}$ and \mathrm{Pack}(A\cup B)=1 and then apply this result to show that G contains a nowhere dense Haar null subset $C\subset G$ with pack(C)=Pack(C)=κ for any given cardinal number $\kappa\in[4,\mathfrak{c}]$. (shrink)

Motivated by recent results and questions of Raghavan and 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 show that if $\kappa =\lambda ^+$ for some $\lambda \geq \omega $ and $\mathfrak {b}=\kappa ^+$ then $\mathfrak {a}_e=\mathfrak {a}_p=\kappa ^+$. If, additionally, $2^{<\lambda }=\lambda $ then $\mathfrak {a}_g=\kappa ^+$ as well. Furthermore, we prove a variety of new bounds for $\mathfrak {d}$ in (...) terms of $\mathfrak {r}$, including $\mathfrak {d}\leq \mathfrak {r}_\sigma \leq \operatorname {\mathrm {cf}}]^\omega )$, and $\mathfrak {d}\leq \mathfrak {r}$ whenever $\mathfrak {r}<\mathfrak {b}^{+\kappa }$ or $\operatorname {\mathrm {cf}})\leq \kappa $ holds. (shrink)

The tower number ${\mathfrak t}$ and the ultrafilter number $\mathfrak {u}$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of $\omega $ and the almost inclusion relation $\subseteq ^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory.We say that a sequence $(G_n)_{n \in {\mathbb N}}$ of computable sets is a tower if $G_0 = {\mathbb N}$, $G_{n+1} \subseteq ^* G_n$, and $G_n\smallsetminus G_{n+1}$ is infinite for each (...) n. A tower is maximal if there is no infinite computable set contained in all $G_n$. A tower ${\left \langle {G_n}\right \rangle }_{n\in \omega }$ is an ultrafilter base if for each computable R, there is n such that $G_n \subseteq ^* R$ or $G_n \subseteq ^* \overline R$ ; this property implies maximality of the tower. A sequence $(G_n)_{n \in {\mathbb N}}$ of sets can be encoded as the “columns” of a set $G\subseteq \mathbb N$. Our analogs of ${\mathfrak t}$ and ${\mathfrak u}$ are the mass problems of sets encoding maximal towers, and of sets encoding towers that are ultrafilter bases, respectively. The relative position of a cardinal characteristic broadly corresponds to the relative computational complexity of the mass problem. We use Medvedev reducibility to formalize relative computational complexity, and thus to compare such mass problems to known ones.We show that the mass problem of ultrafilter bases is equivalent to the mass problem of computing a function that dominates all computable functions, and hence, by Martin’s characterization, it captures highness. On the other hand, the mass problem for maximal towers is below the mass problem of computing a non-low set. We also show that some, but not all, noncomputable low sets compute maximal towers: Every noncomputable (low) c.e. set computes a maximal tower but no 1-generic $\Delta ^0_2$ -set does so.We finally consider the mass problems of maximal almost disjoint, and of maximal independent families. We show that they are Medvedev equivalent to maximal towers, and to ultrafilter bases, respectively. (shrink)