We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete one-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has a Borel complete reduct, and if a theory T is not $\omega $-stable, then the elementary diagram of some countable model of T has a Borel complete reduct.

By the Galvin–Mycielski–Solovay theorem, a subset X of the line has Borel’s strong measure zero if and only if $M+X\neq \mathbb {R}$ for each meager set M.

A set $X\subseteq \mathbb {R}$ is meager-additive if $M+X$ is meager for each meager set M. Recently a theorem on meager-additive sets that perfectly parallels the Galvin–Mycielski–Solovay theorem was proven: A set $X\subseteq \mathbb {R}$ is meager-additive if and only if it has sharp measure zero, a notion akin to strong measure zero.

We investigate the validity of this result in Polish groups. We prove, e.g., that a set in a locally compact Polish group admitting an invariant metric is meager-additive if and only if it has sharp measure zero. We derive some consequences and calculate some cardinal invariants.

For given Boolean algebras $\mathbb {A}$ and $\mathbb {B}$ we endow the space $\mathcal {H}(\mathbb {A},\mathbb {B})$ of all Boolean homomorphisms from $\mathbb {A}$ to $\mathbb {B}$ with various topologies and study convergence properties of sequences in $\mathcal {H}(\mathbb {A},\mathbb {B})$. We are in particular interested in the situation when $\mathbb {B}$ is a measure algebra as in this case we obtain a natural tool for studying topological convergence properties of sequences of ultrafilters on $\mathbb {A}$ in random extensions of the set-theoretical universe. This appears to have strong connections with Dow and Fremlin’s result stating that there are Efimov spaces in the random model. We also investigate relations between topologies on $\mathcal {H}(\mathbb {A},\mathbb {B})$ for a Boolean algebra $\mathbb {B}$ carrying a strictly positive measure and convergence properties of sequences of measures on $\mathbb {A}$.

It is shown that the determinacy of $G_{\delta \sigma }$ games of length $\omega ^2$ is equivalent to the existence of a transitive model of ${\mathsf {KP}} + {\mathsf {AD}} + \Pi _1\textrm {-MI}_{\mathbb {R}}$ containing $\mathbb {R}$. Here, $\Pi _1\textrm {-MI}_{\mathbb {R}}$ is the axiom asserting that every monotone $\Pi _1$ operator on the real numbers has an inductive fixpoint.

We prove two general results about the preservation of extendible and $C^{(n)}$-extendible cardinals under a wide class of forcing iterations (Theorems 5.4 and 7.5). As applications we give new proofs of the preservation of Vopěnka’s Principle and $C^{(n)}$-extendible cardinals under Jensen’s iteration for forcing the GCH [17], previously obtained in [8, 27], respectively. We prove that $C^{(n)}$-extendible cardinals are preserved by forcing with standard Easton-support iterations for any possible $\Delta _2$-definable behaviour of the power-set function on regular cardinals. We show that one can force proper class-many disagreements between the universe and HOD with respect to the calculation of successors of regular cardinals, while preserving $C^{(n)}$-extendible cardinals. We also show, assuming the GCH, that the class forcing iteration of Cummings–Foreman–Magidor for forcing $\diamondsuit _{\kappa ^+}^+$ at every $\kappa $ [10] preserves $C^{(n)}$-extendible cardinals. We give an optimal result on the consistency of weak square principles and $C^{(n)}$-extendible cardinals. In the last section prove another preservation result for $C^{(n)}$-extendible cardinals under very general (not necessarily definable or weakly homogeneous) class forcing iterations. As applications we prove the consistency of $C^{(n)}$-extendible cardinals with $\mathrm {{V}}=\mathrm {{HOD}}$, and also with $\mathrm {GA}$ (the Ground Axiom) plus $\mathrm {V}\neq \mathrm {HOD}$, the latter being a strengthening of a result from [14].

Let $\mathcal {I}$ be an ideal on $\omega $. For $f,\,g\in \omega ^{\omega }$ we write $f \leq _{\mathcal {I}} g$ if $f(n) \leq g(n)$ for all $n\in \omega \setminus A$ with some $A\in \mathcal {I}$. Moreover, we denote $\mathcal {D}_{\mathcal {I}}=\{f\in \omega ^{\omega }: f^{-1}[\{n\}]\in \mathcal {I} \text { for every } n\in \omega \}$ (in particular, $\mathcal {D}_{\mathrm {Fin}}$ denotes the family of all finite-to-one functions).

We examine cardinal numbers $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))$ and $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathrm {Fin}}\times \mathcal {D}_{\mathrm {Fin}}))$ describing the smallest sizes of unbounded from below with respect to the order $\leq _{\mathcal {I}}$ sets in $\mathcal {D}_{\mathrm {Fin}}$ and $\mathcal {D}_{\mathcal {I}}$, respectively. For a maximal ideal $\mathcal {I}$, these cardinals were investigated by M. Canjar in connection with coinitial and cofinal subsets of the ultrapowers.

We show that $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathrm {Fin}} \times \mathcal {D}_{\mathrm {Fin}})) =\mathfrak {b}$ for all ideals $\mathcal {I}$ with the Baire property and that $\aleph _1 \leq \mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}})) \leq \mathfrak {b}$ for all coanalytic weak P-ideals (this class contains all $\bf {\Pi ^0_4}$ ideals). What is more, we give examples of Borel (even $\bf {\Sigma ^0_2}$) ideals $\mathcal {I}$ with $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))=\mathfrak {b}$ as well as with $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}})) =\aleph _1$.

We also study cardinals $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {J}} \times \mathcal {D}_{\mathcal {K}}))$ describing the smallest sizes of sets in $\mathcal {D}_{\mathcal {K}}$ not bounded from below with respect to the preorder $\leq _{\mathcal {I}}$ by any member of $\mathcal {D}_{\mathcal {J}}\!$. Our research is partially motivated by the study of ideal-QN-spaces: those cardinals describe the smallest size of a space which is not ideal-QN.

We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending $\mathsf {ZFC}$ by using his multiverse axioms $\mathsf {MV}$ and the ‘core hypothesis’. In the first part, we examine the evidential framework for $\mathsf {MV}$, in particular the use of large cardinals and of ‘worlds’ obtained through forcing to ‘represent’ alternative extensions of $\mathsf {ZFC}$. In the second part, we address the existence and the possible features of the core of $\mathsf {MV}_T$ (where T is $\mathsf {ZFC}$+Large Cardinals). In the last part, we discuss the hypothesis that the core is Ultimate-L, and examine whether and how, based on this fact, the Core Universist can justify V=Ultimate-L as the best (and ultimate) extension of $\mathsf {ZFC}$. To this end, we take into account several strategies, and assess their prospects in the light of $\mathsf {MV}$’s evidential framework.

We analyze the hereditarily ordinal definable sets $\operatorname {HOD} $ in $M_n(x)[g]$ for a Turing cone of reals x, where $M_n(x)$ is the canonical inner model with n Woodin cardinals build over x and g is generic over $M_n(x)$ for the Lévy collapse up to its bottom inaccessible cardinal. We prove that assuming $\boldsymbol \Pi ^1_{n+2}$-determinacy, for a Turing cone of reals x, $\operatorname {HOD} ^{M_n(x)[g]} = M_n(\mathcal {M}_{\infty } | \kappa _{\infty }, \Lambda ),$ where $\mathcal {M}_{\infty }$ is a direct limit of iterates of $M_{n+1}$, $\delta _{\infty }$ is the least Woodin cardinal in $\mathcal {M}_{\infty }$, $\kappa _{\infty }$ is the least inaccessible cardinal in $\mathcal {M}_{\infty }$ above $\delta _{\infty }$, and $\Lambda $ is a partial iteration strategy for $\mathcal {M}_{\infty }$. It will also be shown that under the same hypothesis $\operatorname {HOD}^{M_n(x)[g]} $ satisfies $\operatorname {GCH} $.

By a classical theorem of Harvey Friedman (1973), every countable nonstandard model $\mathcal {M}$ of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding j, i.e., j is a self-embedding of $\mathcal {M}$ such that $j[\mathcal {M}]\subsetneq \mathcal {M}$, and the ordinal rank of each member of $j[\mathcal {M}]$ is less than the ordinal rank of each element of $\mathcal {M}\setminus j[\mathcal {M}]$. Here, we investigate the larger family of proper initial-embeddings j of models $\mathcal {M}$ of fragments of set theory, where the image of j is a transitive submodel of $\mathcal {M}$. Our results include the following three theorems. In what follows, $\mathrm {ZF}^-$ is $\mathrm {ZF}$ without the power set axiom; $\mathrm {WO}$ is the axiom stating that every set can be well-ordered; $\mathrm {WF}(\mathcal {M})$ is the well-founded part of $\mathcal {M}$; and $\Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $ is the full scheme of dependent choice of length $\alpha $.

Theorem A.

There is an $\omega $-standard countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^-+\mathrm {WO}$ that carries no initial self-embedding $j:\mathcal {M} \longrightarrow \mathcal {M}$ other than the identity embedding.

Theorem B.

Every countable $\omega $-nonstandard model $\mathcal {M}$ of $\ \mathrm {ZF}$ is isomorphic to a transitive submodel of the hereditarily countable sets of its own constructible universe $L^{\mathcal {M}}$.

Theorem C.

The following three conditions are equivalent for a countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^{-}+\mathrm {WO}+\forall \alpha \ \Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $.

1. (I) There is a cardinal in $\mathcal {M}$ that is a strict upper bound for the cardinality of each member of $\mathrm {WF}(\mathcal {M})$.

2. (II) $\mathrm {WF}(\mathcal {M})$ satisfies the powerset axiom.

3. (III) For all $n \in \omega $ and for all $b \in M$, there exists a proper initial self-embedding $j: \mathcal {M} \longrightarrow \mathcal {M}$ such that $b \in \mathrm {rng}(j)$ and $j[\mathcal {M}] \prec _n \mathcal {M}$.

M. E. Rudin (1971) proved, under CH, that for each P-point p there exists a P-point q strictly RK-greater than p. This result was proved under ${\mathfrak {p}= \mathfrak {c}}$ by A. Blass (1973), who also showed that each RK-increasing $ \omega $-sequence of P-points is upper bounded by a P-point, and that there is an order embedding of the real line into the class of P-points with respect to the RK-ordering. In this paper, the results cited above are proved under the (weaker) assumption that $\mathfrak { b}=\mathfrak {c}$. A. Blass asked in 1973 which ordinals can be embedded in the set of P-points, and pointed out that such an ordinal cannot be greater than $ \mathfrak {c}^{+}$. In this paper it is proved, under $\mathfrak {b}=\mathfrak {c}$, that for each ordinal $\alpha < \mathfrak {c}^{+}$, there is an order embedding of $ \alpha $ into P-points. It is also proved, under $\mathfrak {b}=\mathfrak {c}$, that there is an embedding of the long line into P-points.

A permutation group G on a set A is ${\kappa }$-homogeneous iff for all $X,Y\in \bigl [ {A} \bigr ]^ {\kappa } $ with $|A\setminus X|=|A\setminus Y|=|A|$ there is a $g\in G$ with $g[X]=Y$. G is ${\kappa }$-transitive iff for any injective function f with $\operatorname {dom}(f)\cup \operatorname {ran}(f)\in \bigl [ {A} \bigr ]^ {\le {\kappa }} $ and $|A\setminus \operatorname {dom}(f)|=|A\setminus \operatorname {ran}(f)|=|A|$ there is a $g\in G$ with $f\subset g$.

Giving a partial answer to a question of P. M. Neumann [6] we show that there is an ${\omega }$-homogeneous but not ${\omega }$-transitive permutation group on a cardinal ${\lambda }$ provided

1. (i) ${\lambda }<{\omega }_{\omega }$, or

2. (ii) $2^{\omega }<{\lambda }$, and ${\mu }^{\omega }={\mu }^+$ and $\Box _{\mu }$ hold for each ${\mu }\le {\lambda }$ with ${\omega }=\operatorname {cf}({\mu })<{{\mu }}$, or

3. (iii) our model was obtained by adding $(2^{\omega })^+$ many Cohen generic reals to some ground model.

For ${\kappa }>{\omega }$ we give a method to construct large ${\kappa }$-homogeneous, but not ${\kappa }$-transitive permutation groups. Using this method we show that there exist ${\kappa }^+$-homogeneous, but not ${\kappa }^+$-transitive permutation groups on ${\kappa }^{+n}$ for each infinite cardinal ${\kappa }$ and natural number $n\ge 1$ provided $V=L$.

We make comments on some problems Erdős and Hajnal posed in their famous problem list. Let X be a graph on $\omega _1$ with the property that every uncountable set A of vertices contains a finite set s such that each element of $A-s$ is joined to one of the elements of s. Does then X contain an uncountable clique? (Problem 69) We prove that both the statement and its negation are consistent. Do there exist circuitfree graphs $\{X_n:n<\omega \}$ on $\omega _1$ such that if $A\in [\omega _1]^{\aleph _1}$, then $\{n<\omega :X_n\cap [A]^2=\emptyset \}$ is finite? (Problem 61) We show that the answer is yes under CH, and no under Martin’s axiom. Does there exist $F:[\omega _1]^2\to 3$ with all three colors appearing in every uncountable set, and with no triangle of three colors. (Problem 68) We give a different proof of Todorcevic’ theorem that the existence of a $\kappa $-Suslin tree gives $F:[\kappa ]^2\to \kappa $ establishing $\kappa \not \to [\kappa ]^2_{\kappa }$ with no three-colored triangles. This statement in turn implies the existence of a $\kappa $-Aronszajn tree.

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

We consider the complexity of special $\alpha $-limit sets, a kind of backward limit set for non-invertible dynamical systems. We show that these sets are always analytic, but not necessarily Borel, even in the case of a surjective map on the unit square. This answers a question posed by Kolyada, Misiurewicz, and Snoha.

A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. ${\sf Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by set forcings. The ${\sf Largest\ Suslin\ Axiom}$ (${\sf LSA}$) is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable surjections. Let ${\sf LSA}$-${\sf over}$-${\sf uB}$ be the statement that in all (set) generic extensions there is a model of $\sf {LSA}$ whose Suslin, co-Suslin sets are the universally Baire sets. We outline the proof that over some mild large cardinal theory, $\sf {Sealing}$ is equiconsistent with $\sf {LSA}$-$\sf {over}$-$\sf {uB}$. In fact, we isolate an exact theory (in the hierarchy of strategy mice) that is equiconsistent with both (see Definition 3.1). As a consequence, we obtain that $\sf {Sealing}$ is weaker than the theory “$\sf {ZFC}$ + there is a Woodin cardinal which is a limit of Woodin cardinals.” This significantly improves upon the earlier consistency proof of $\sf {Sealing}$ by Woodin. A variation of $\sf {Sealing}$, called $\sf {Tower \ Sealing}$, is also shown to be equiconsistent with $\sf {Sealing}$ over the same large cardinal theory. We also outline the proof that if V has a proper class of Woodin cardinals, a strong cardinal, and a generically universally Baire iteration strategy, then $\sf {Sealing}$ holds after collapsing the successor of the least strong cardinal to be countable. This result is complementary to the aforementioned equiconsistency result, where it is shown that $\sf {Sealing}$ holds in a generic extension of a certain minimal universe. This theorem is more general in that no minimal assumption is needed. A corollary of this is that $\sf {LSA}$-$\sf {over}$-$\sf {uB}$ is not equivalent to $\sf {Sealing}$.

A subset of the Cantor cube is null-additive if its algebraic sum with any null set is null. We construct a set of cardinality continuum such that: all continuous images of the set into the Cantor cube are null-additive, it contains a homeomorphic copy of a set that is not null-additive, and it has the property $\unicode{x3b3} $, a strong combinatorial covering property. We also construct a nontrivial subset of the Cantor cube with the property $\unicode{x3b3} $ that is not null additive. Set-theoretic assumptions used in our constructions are far milder than used earlier by Galvin–Miller and Bartoszyński–Recław, to obtain sets with analogous properties. We also consider products of Sierpiński sets in the context of combinatorial covering properties.

In 1988, Sibe Mardešić and Andrei Prasolov isolated an inverse system $\textbf {A}$ with the property that the additivity of strong homology on any class of spaces which includes the closed subsets of Euclidean space would entail that $\lim ^n\textbf {A}$ (the nth derived limit of $\textbf {A}$) vanishes for every $n>0$. Since that time, the question of whether it is consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for every $n>0$ has remained open. It remains possible as well that this condition in fact implies that strong homology is additive on the category of metric spaces.

We show that assuming the existence of a weakly compact cardinal, it is indeed consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for all $n>0$. We show this via a finite-support iteration of Hechler forcings which is of weakly compact length. More precisely, we show that in any forcing extension by this iteration, a condition equivalent to $\lim ^n\textbf {A}=0$ will hold for each $n>0$. This condition is of interest in its own right; namely, it is the triviality of every coherent n-dimensional family of certain specified sorts of partial functions $\mathbb {N}^2\to \mathbb {Z}$ which are indexed in turn by n-tuples of functions $f:\mathbb {N}\to \mathbb {N}$. The triviality and coherence in question here generalise the classical and well-studied case of $n=1$.

We develop an untyped framework for the multiverse of set theory. $\mathsf {ZF}$ is extended with semantically motivated axioms utilizing the new symbols $\mathsf {Uni}(\mathcal {U})$ and $\mathsf {Mod}(\mathcal {U, \sigma })$, expressing that $\mathcal {U}$ is a universe and that $\sigma $ is true in the universe $\mathcal {U}$, respectively. Here $\sigma $ ranges over the augmented language, leading to liar-style phenomena that are analyzed. The framework is both compatible with a broad range of multiverse conceptions and suggests its own philosophically and semantically motivated multiverse principles. In particular, the framework is closely linked with a deductive rule of Necessitation expressing that the multiverse theory can only prove statements that it also proves to hold in all universes. We argue that this may be philosophically thought of as a Copernican principle that the background theory does not hold a privileged position over the theories of its internal universes. Our main mathematical result is a lemma encapsulating a technique for locally interpreting a wide variety of extensions of our basic framework in more familiar theories. We apply this to show, for a range of such semantically motivated extensions, that their consistency strength is at most slightly above that of the base theory $\mathsf {ZF}$, and thus not seriously limiting to the diversity of the set-theoretic multiverse. We end with case studies applying the framework to two multiverse conceptions of set theory: arithmetic absoluteness and Joel D. Hamkins’ multiverse theory.

We study the Rudin–Keisler pre-order on Fréchet–Urysohn ideals on $\omega $. We solve three open questions posed by S. García-Ferreira and J. E. Rivera-Gómez in the articles [5] and [6] by establishing the following results:

• • For every AD family $\mathcal {A},$ there is an AD family $\mathcal {B}$ such that $\mathcal {A}^{\perp } <_{{\textsf {RK}}}\mathcal {B}^{\perp }.$

• • If $\mathcal {A}$ is a nowhere MAD family of size $\mathfrak {c}$ then there is a nowhere MAD family $\mathcal {B}$ such that $\mathcal {I}\left (\mathcal {A}\right ) $ and $\mathcal {I}\left ( \mathcal {B}\right ) $ are Rudin–Keisler incomparable.

• • There is a family $\left \{ \mathcal {B}_{\alpha }\mid \alpha \in \mathfrak {c}\right \} $ of nowhere MAD families such that if $\alpha \neq \beta $, then $\mathcal {I}\left ( \mathcal {B}_{\alpha }\right ) $ and $\mathcal {I}\left ( \mathcal {B}_{\beta }\right ) $ are Rudin–Keisler incomparable.

Here $\mathcal {I}(\mathcal {A})$ denotes the ideal generated by an AD family $\mathcal {A}$.

In the context of hyperspaces with the Vietoris topology, for a Fréchet–Urysohn-filter $\mathcal {F}$ we let $\mathcal {S}_{c}\left ( \mathcal {\xi }\left ( \mathcal {F}\right ) \right ) $ be the hyperspace of nontrivial convergent sequences of the space consisting of $\omega $ as discrete subset and only one accumulation point $\mathcal {F}$ whose neighborhoods are the elements of $\mathcal {F}$ together with the singleton $\{\mathcal {F}\}$. For a FU-filter $\mathcal {F}$ we show that the following are equivalent:

• • $\mathcal {F}$ is a FUF-filter.

• • $\mathcal {S}_{c}\left ( \mathcal {\xi }\left ( \mathcal {F} \right ) \right ) $ is Baire.

We study a strengthening of the notion of a perfectly meager set. We say that a subset A of a perfect Polish space X is countably perfectly meager in X, if for every sequence of perfect subsets $\{P_n: n \in \mathbb N\}$ of X, there exists an $F_\sigma $-set F in X such that $A \subseteq F$ and $F\cap P_n$ is meager in $P_n$ for each n. We give various characterizations and examples of countably perfectly meager sets. We prove that not every universally meager set is countably perfectly meager correcting an earlier result of Bartoszyński.