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...

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.

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.

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.

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)

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)

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)

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)

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)

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)

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

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 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)

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)

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)

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)

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 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.

Generalizing the notion of a tight almost disjoint family, we introduce the notions of a tight eventually different family of functions in Baire space and a tight eventually different set of permutations of $\omega $. Such sets strengthen maximality, exist under $\mathsf {MA} (\sigma \mathrm {-centered})$ and come with a properness preservation theorem. The notion of tightness also generalizes earlier work on the forcing indestructibility of maximality of families of functions. As a result we compute the cardinals (...) $\mathfrak {a}_e$ and $\mathfrak {a}_p$ in many known models by giving explicit witnesses and therefore obtain the consistency of several constellations of cardinal characteristics of the continuum including $\mathfrak {a}_e = \mathfrak {a}_p = \mathfrak {d} < \mathfrak {a}_T$, $\mathfrak {a}_e = \mathfrak {a}_p < \mathfrak {d} = \mathfrak {a}_T$, $\mathfrak {a}_e = \mathfrak {a}_p =\mathfrak {i} < \mathfrak {u}$, and $\mathfrak {a}_e=\mathfrak {a}_p = \mathfrak {a} < non(\mathcal N) = cof(\mathcal N)$. We also show that there are $\Pi ^1_1$ tight eventually different families and tight eventually different sets of permutations in L thus obtaining the above inequalities alongside $\Pi ^1_1$ witnesses for $\mathfrak {a}_e = \mathfrak {a}_p = \aleph _1$.Moreover, we prove that tight eventually different families are Cohen indestructible and are never analytic. (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)

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 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 discuss a problem asked by E. van Douwen and A. Miller [5] in various forcing models.

We consider the possible cardinalities of the following three cardinal invariants which are related to the permutation group on the set of natural numbers: the least cardinal number of maximal cofinitary permutation groups; the least cardinal number of maximal almost disjoint permutation families; the cofinality of the permutation group on the set of natural numbers.We show that it is consistent with that ; in fact we show that in the Miller model.

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 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 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.

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.

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

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.

$(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)

In lieu of an abstract, here is a brief excerpt of the content: Unmasking the Maxim: An Ancient Genre And Why It Matters Now W. ROBERT CONNOR We live surrounded by maxims, often without even noticing them. They are easily dismissed as platitudes, banalities or harmless clichés, but even in an age of big data and number crunching we put them to work almost every day. A Silicon Valley whiz kid says, Move Fast and Break Things. Investors try to (...) Buy Low and Sell High. Investigative reporters Follow the Money. Others Follow their Bliss. The lavish host thinks, The More the Merrier, while the Modernist architect is sure that Less is More. Captains of Industry whisper to themselves, Me First; captains of sinking ships shout, Women and Children First. Be Prepared was the Boy Scouts’ marching song, while the Proud Boys Stand Down and Stand By, awaiting their marching orders. Maxims are perhaps the smallest members in a large family of speech acts, which among the Greeks included proverbs, oracles, riddles, blessings, curses and lamentations. Not all of these continue in use, but maxims have found companions—mottos, mantras, advertising tag lines and jingles, slogans, political rallying cries, hashtags, three- or four-letter acronyms and 280 character tweets from the goddess Twitter. Familiarity, however, can breed contempt, or at least inattentiveness to the full range of their influence. Sometimes what sounds at first like empty verbiage turns into action. Bruce Lee adapted an old Taoist saying when he said, Be Water, and thereby provided what was for a while a surprisingly effective strategy for protesters in Hong Kong. arion 28.3 winter 2021 6 unmasking the maxim Maxims empower, for good or ill. In the hands of bigots or ideologues, they can turn deadly. Sic Semper Tyrannis shouted John Wilkes Booth after shooting Abraham Lincoln. A manufacturer of assault rifles urged potential customers to Earn Your Man Card. How better to earn it than to obey 8chan, a web site favored by white nationalists, with its own maxim, Embrace Infamy. A devotee of the site did just that, perpetrating a mass shooting in El Paso, Texas. Maxims, then, should not be lightly dismissed. Since the ancient Greeks so relished maxims, they should surely be interrogated to help us better understand the power of these often underestimated speech acts. Before turning to the Greeks, however, the English word maxim needs a closer look. english “maxim” english borrowed maxim from a Latin phrase and boiled it down for everyday use. In Latin writings about logic, the expression maxima propositio, biggest proposition, denoted a statement that did not need to be proved, but could provide the basis for proof of other, lesser propositions. This phraseology goes back at least to Boethius in the sixth century of our era. It’s the equivalent of the generalizations that serve as the major premises in syllogistic logic. If this makes maxims sound like the axioms of geometry, that is historically right. The starting points of plane geometry are propositions that deserve to be accepted; even without proof that they are worthy of belief. That’s the meaning of the term axiōma. No one needs to prove that things equal to the same thing are equal to each other. Think about it; after a while it seems self-evident. It is worthy of assent. We might equally well call such an axiom a maxim; indeed, the earliest (1426) attested use of maxim in English is described in the Oxford English Dictionary as “an axiom; a self-evident proposition assumed as a premise in mathematical, or dialectical reasoning.” W. Robert Connor 7 This usage is now obsolete, but Thomas Jefferson understood the idea behind it, since he believed that there were such truths, waiting to be put to work in building a society where all people were equal and possess certain inalienable rights. He did not feel he had to prove these propositions; they were in his view self-evident. In using these ideas in his draft of the Declaration of Independence, he was, in effect, transferring to politics what Euclid had done in geometry. It was a swift, strategic stroke on his part, for, since self-evident truths require no argument or explanation, they focus discussion not on... (shrink)

We show that it is consistent that Martin's axiom holds, the continuum is large, and yet the dual distributivity number ℌ is κ1. This answers a question of Halbeisen.

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)

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.

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)

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)