All spaces are assumed to be Tychonoff. Given a realcompact space X, we denote by $\mathsf {Exp}(X)$ the smallest infinite cardinal $\kappa $ such that X is homeomorphic to a closed subspace of $\mathbb {R}^\kappa $. Our main result shows that, given a cardinal $\kappa $, the following conditions are equivalent:

• • There exists a countable crowded space X such that $\mathsf {Exp}(X)=\kappa $.

• • $\mathfrak {p}\leq \kappa \leq \mathfrak {c}$.

$\mathfrak {d}\leq \kappa \leq \mathfrak {c}$

$2^\kappa $

$\kappa $

$\kappa $

$\mathsf {Exp}(X)$

For $\kappa $ a regular uncountable cardinal, we show that distributivity and base trees for $P(\kappa )/{<}\kappa $ of intermediate height in the cardinal interval $[\omega , \kappa )$ exist in certain models. We also show that base trees of height $\kappa $ can exist as well as base trees of various heights $\geq \kappa ^+$ depending on the spectrum of cardinalities of towers in $P(\kappa )/{<}\kappa $.

Assume that M is a transitive model of $ZFC+CH$ containing a simplified $(\omega _1,2)$-morass, $P\in M$ is the poset adding $\aleph _3$ generic reals and G is P-generic over M. In M we construct a function between sets of terms in the forcing language, that interpreted in $M[G]$ is an $\mathbb R$-linear order-preserving monomorphism from the finite elements of an ultrapower of the reals, over a non-principal ultrafilter on $\omega $, into the Esterle algebra of formal power series. Therefore it is consistent that $2^{\aleph _0}>\aleph _2$ and, for any infinite compact Hausdorff space X, there exists a discontinuous homomorphism of $C(X)$, the algebra of continuous real-valued functions on X.

For many years, there have been conducting research (e.g., by Bergelson, Furstenberg, Kojman, Kubiś, Shelah, Szeptycki, Weiss) into sequentially compact spaces that are, in a sense, topological counterparts of some combinatorial theorems, for instance, Ramsey’s theorem for coloring graphs, Hindman’s finite sums theorem, and van der Waerden’s arithmetical progressions theorem. These spaces are defined with the aid of different kinds of convergences: IP-convergence, R-convergence, and ordinary convergence.

The first aim of this paper is to present a unified approach to these various types of convergences and spaces. Then, using this unified approach, we prove some general theorems about existence of the considered spaces and show that all results obtained so far in this subject can be derived from our theorems.

The second aim of this paper is to obtain new results about the specific types of these spaces. For instance, we construct a Hausdorff Hindman space that is not an $\mathcal {I}_{1/n}$-space and a Hausdorff differentially compact space that is not Hindman. Moreover, we compare Ramsey spaces with other types of spaces. For instance, we construct a Ramsey space that is not Hindman and a Hindman space that is not Ramsey.

The last aim of this paper is to provide a characterization that shows when there exists a space of one considered type that is not of the other kind. This characterization is expressed in purely combinatorial manner with the aid of the so-called Katětov order that has been extensively examined for many years so far.

This paper may interest the general audience of mathematicians as the results we obtain are on the intersection of topology, combinatorics, set theory, and number theory.

We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa $ for $\kappa $ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of

$$\begin{align*}|2^\kappa| = \kappa^{++} + \forall X \subseteq 2^\kappa:\ X \textrm{ is strong measure zero if and only if } |X| \leq \kappa^+. \end{align*}$$

We propose a reformulation of the ideal $\mathcal {N}$ of Lebesgue measure zero sets of reals modulo an ideal J on $\omega $, which we denote by $\mathcal {N}_J$. In the same way, we reformulate the ideal $\mathcal {E}$ generated by $F_\sigma $ measure zero sets of reals modulo J, which we denote by $\mathcal {N}^*_J$. We show that these are $\sigma $-ideals and that $\mathcal {N}_J=\mathcal {N}$ iff J has the Baire property, which in turn is equivalent to $\mathcal {N}^*_J=\mathcal {E}$. Moreover, we prove that $\mathcal {N}_J$ does not contain co-meager sets and $\mathcal {N}^*_J$ contains non-meager sets when J does not have the Baire property. We also prove a deep connection between these ideals modulo J and the notion of nearly coherence of filters (or ideals).

We also study the cardinal characteristics associated with $\mathcal {N}_J$ and $\mathcal {N}^*_J$. We show their position with respect to Cichoń’s diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of $\mathrm {add}(\mathcal {N})$ and $\mathrm {cof}(\mathcal {N})$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals.

We continue investigating variants of the splitting and reaping numbers introduced in [4]. In particular, answering a question raised there, we prove the consistency of and of . Moreover, we discuss their natural generalisations $\mathfrak {s}_{\rho }$ and $\mathfrak {r}_{\rho }$ for $\rho \in (0,1)$, and show that $\mathfrak {r}_{\rho }$ does not depend on $\rho $.

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

E-mail: miguel.cardona@upjs.sk

URL: https://repositum.tuwien.at/handle/20.500.12708/19629

We continue with the study of the Katětov order on MAD families. We prove that Katětov maximal MAD families exist under $\mathfrak {b=c}$ and that there are no Katětov-top MAD families assuming $\mathfrak {s\leq b}.$ This improves previously known results from the literature. We also answer a problem form Arciga, Hrušák, and Martínez regarding Katětov maximal MAD families.

A classical theorem of Balcar, Pelant, and Simon says that there is a base matrix of height ${\mathfrak h}$, where ${\mathfrak h}$ is the distributivity number of ${\cal P} (\omega ) / {\mathrm {fin}}$. We show that if the continuum ${\mathfrak c}$ is regular, then there is a base matrix of height ${\mathfrak c}$, and that there are base matrices of any regular uncountable height $\leq {\mathfrak c}$ in the Cohen and random models. This answers questions of Fischer, Koelbing, and Wohofsky.

Given a cofinal cardinal function $h\in {}^{\kappa }\kappa $ for $\kappa $ inaccessible, we consider the dominating h-localisation number, that is, the least cardinality of a dominating set of h-slaloms such that every $\kappa $-real is localised by a slalom in the dominating set. It was proved in [3] that the dominating localisation numbers can be consistently different for two functions h (the identity function and the power function). We will construct a $\kappa ^+$-sized family of functions h and their corresponding localisation numbers, and use a ${\leq }\kappa $-supported product of a cofinality-preserving forcing to prove that any simultaneous assignment of these localisation numbers to cardinals above $\kappa $ is consistent. This answers an open question from [3].

For which infinite cardinals $\kappa $ is there a partition of the real line ${\mathbb R}$ into precisely $\kappa $ Borel sets? Work of Lusin, Souslin, and Hausdorff shows that ${\mathbb R}$ can be partitioned into $\aleph _1$ Borel sets. But other than this, we show that the spectrum of possible sizes of partitions of ${\mathbb R}$ into Borel sets can be fairly arbitrary. For example, given any $A \subseteq \omega $ with $0,1 \in A$, there is a forcing extension in which ${A = \{ n :\, \text {there is a partition of } {{\mathbb R}} \text { into }\aleph _n\text { Borel sets}\}}$. We also look at the corresponding question for partitions of ${\mathbb R}$ into closed sets. We show that, like with partitions into Borel sets, the set of all uncountable $\kappa $ such that there is a partition of ${\mathbb R}$ into precisely $\kappa $ closed sets can be fairly arbitrary.

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.

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

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 ( \ast \right ) $ 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 <\omega _{1}\right \} \subseteq \omega ^{\omega }$ such that for every $g:\omega \longrightarrow \omega $ there is $\alpha $ such that if $\beta>\alpha $ then $f_{\beta }\cap g$ is infinite (sets with that property are referred to as $\mathcal {IE}$ -Luzin sets ). Miller showed that the principle of Sierpiński implies that non $\left ( \mathcal {M}\right ) =\omega _{1}.$ He asked if the converse was true, i.e., does non $\left ( \mathcal {M}\right ) =\omega _{1}$ imply the principle $\left ( \ast \right ) $ of Sierpiński? We answer his question affirmatively. In other words, we show that non $\left ( \mathcal {M}\right ) =\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 ( \mathcal {M}\right ) =\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 ( \mathcal {M}\right ) $ or at least cov $\left ( \mathcal {M}\right ) $ (it is known that the definability is an important requirement, otherwise $\mathfrak {a}$ would be a counterexample). 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}$ (this is part of a joint work with Michael Hrušák, Ariet Ramos, and Carlos Martínez). 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 ( \mathcal {A}\right ) $ such that $s\cap A\neq \emptyset $ for every $s\in X$ or there is $B\in \mathcal {I}\left ( \mathcal {A}\right ) $ that contains infinitely many elements of X (where $\mathcal {I}\left ( \mathcal {A}\right ) $ 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 (this statement will be formalized in the fourth chapter). According to the author’s best knowledge, this is the strongest notion (in terms of indestructibility) 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 (This is part of a joint work with Michael Hrušák, Dilip Raghavan, and Joerg Brendle).

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 ( \mathcal {A}\right ) $ -positive sets has an $\mathcal {I}\left ( \mathcal {A}\right ) $ -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 (under $\mathsf {CH}$ ) 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ý.

Abstract prepared by Osvaldo Guzmán González

E-mail : oguzman@matmor.unam.mx

URL : https://arxiv.org/abs/1810.09680

We show that after forcing with a countable support iteration or a finite product of Sacks or splitting forcing over L, every analytic hypergraph on a Polish space admits a $\mathbf {\Delta }^1_2$ maximal independent set. This extends an earlier result by Schrittesser (see [25]). As a main application we get the consistency of $\mathfrak {r} = \mathfrak {u} = \mathfrak {i} = \omega _2$ together with the existence of a $\Delta ^1_2$ ultrafilter, a $\Pi ^1_1$ maximal independent family, and a $\Delta ^1_2$ Hamel basis. This solves open problems of Brendle, Fischer, and Khomskii [5] and the author [23]. We also show in ZFC that $\mathfrak {d} \leq \mathfrak {i}_{cl}$ , addressing another question from [5].

We study higher analogues of the classical independence number on $\omega $ . For $\kappa $ regular uncountable, we denote by $i(\kappa )$ the minimal size of a maximal $\kappa $ -independent family. We establish ZFC relations between $i(\kappa )$ and the standard higher analogues of some of the classical cardinal characteristics, e.g., $\mathfrak {r}(\kappa )\leq \mathfrak {i}(\kappa )$ and $\mathfrak {d}(\kappa )\leq \mathfrak {i}(\kappa )$ . For $\kappa $ measurable, assuming that $2^{\kappa }=\kappa ^{+}$ we construct a maximal $\kappa $ -independent family which remains maximal after the $\kappa $ -support product of $\lambda $ many copies of $\kappa $ -Sacks forcing. Thus, we show the consistency of $\kappa ^{+}=\mathfrak {d}(\kappa )=\mathfrak {i}(\kappa )<2^{\kappa }$ . We conclude the paper with interesting open questions and discuss difficulties regarding other natural approaches to higher independence.

We investigate the mathematics of a model of the human mind which has been proposed by the psychologist Jens Mammen. Mathematical realizations of this model consists of what the first author (A.T.) has called Mammen spaces, where a Mammen space is a triple $(U,\mathcal S,\mathcal C)$, where U is a non-empty set (“the universe”), $\mathcal S$ is a perfect Hausdorff topology on U, and $\mathcal C\subseteq \mathcal P(U)$ together with $\mathcal S$ satisfy certain axioms.

We refute a conjecture put forward by Hoffmann-Jørgensen, who conjectured that the existence of a “complete” Mammen space implies the Axiom of Choice, by showing that in the first Cohen model, in which ZF holds but AC fails, there is a complete Mammen space. We obtain this by proving that in the first Cohen model, every perfect topology can be extended to a maximal perfect topology.

On the other hand, we also show that if all sets are Lebesgue measurable, or all sets are Baire measurable, then there are no complete Mammen spaces with a countable universe.

Further, we investigate two new cardinal invariants $\mathfrak u_{M}$ and $\mathfrak u_{T}$ associated with complete Mammen spaces and maximal perfect topologies, and establish some basic inequalities that are provable in ZFC. Then we show $\mathfrak u_{M}=\mathfrak u_{T}=2^{\aleph _{0}}$ follows from Martin’s Axiom, and, contrastingly, we show that $\aleph _{1}=\mathfrak u_{M}=\mathfrak u_{T}<2^{\aleph _{0}}=\aleph _{2}$ in the Baumgartner–Laver model.

Finally, consequences for psychology are discussed.

We introduce natural strengthenings of sequential compactness, the r-Ramsey property for each natural number $r\geq 1$ . We prove that metrizable compact spaces are r-Ramsey for all r and give examples of compact spaces that are r-Ramsey but not $(r+1)$ -Ramsey for each $r\geq 1$ (assuming Continuum Hypothesis (CH) for all $r>1$ ). Productivity of the r-Ramsey property is considered.

We study the values of the higher dimensional cardinal characteristics for sets of functions $f:\omega ^\omega \to \omega ^\omega $ introduced by the second author in [8]. We prove that while the bounding numbers for these cardinals can be strictly less than the continuum, the dominating numbers cannot. We compute the bounding numbers for the higher dimensional relations in many well known models of $\neg \mathsf {CH}$ such as the Cohen, random and Sacks models and, as a byproduct show that, with one exception, for the bounding numbers there are no $\mathsf {ZFC}$ relations between them beyond those in the higher dimensional Cichoń diagram. In the case of the dominating numbers we show that in fact they collapse in the sense that modding out by the ideal does not change their values. Moreover, they are closely related to the dominating numbers $\mathfrak {d}^\lambda _\kappa $.