Let M be a tame mouse modelling $\mathrm {ZFC}$. We show that M satisfies “$V=\mathrm {HOD}_x$ for some real x”, and that the restriction $\mathbb {E}^M\!\upharpoonright \![\omega _1^M,\mathrm {OR}^M)$ of the extender sequence $\mathbb {E}^M$ of M to indices above $\omega _1^M$ is definable without parameters over the universe of M. We show that M has universe $\mathrm {HOD}^M[X]$, where $X=M|\omega _1^M$ is the initial segment of M of height $\omega _1^M$ (including $\mathbb {E}^M\!\upharpoonright \!\omega _1^M$), and that $\mathrm {HOD}^M$ is the universe of a premouse over some $t\subseteq \omega _2^M$. We also show that M has no proper grounds via strategically $\sigma $-closed forcings. We then extend some of these results partially to non-tame mice, including a proof that many natural $\varphi $-minimal mice model “$V=\mathrm {HOD}$”, assuming a certain fine structural hypothesis whose proof was almost established in Closson [1], and has since been completed in the preprint [14].

For every natural number n we introduce a new weak choice principle $\mathrm {nRC_{fin}}$:

Given any infinite set x, there is an infinite subset $y\subseteq x$ and a selection function f that chooses an n-element subset from every finite $z\subseteq y$ containing at least n elements.

By constructing new permutation models built on a set of atoms obtained as Fraïssé limits, we will study the relation of $\mathrm {nRC_{fin}}$ to the weak choice principles $\mathrm {RC_m}$ (that has already been studied in [3] and [6]):

Given any infinite set x, there is an infinite subset $y\subseteq x$ with a choice function f on the family of all m-element subsets of y.

Moreover, we prove a stronger analogue of the results in [6] when we study the relation between $\mathrm {nRC_{fin}}$ and $\mathrm {kC_{fin}^-}$ which is defined by

Given any infinite family $\mathcal {F}$ of finite sets of cardinality greater than k, there is an infinite subfamily $\mathcal {A}\subseteq \mathcal {F}$ with a selection function f that chooses a k-element subset from each $A\in \mathcal {A}$.

We study a family of variants of Jensen’s subcomplete forcing axiom, $\mathsf {SCFA,}$ and subproper forcing axiom, $\mathsf {SubPFA}$. Using these, we develop a general technique for proving nonimplications of $\mathsf {SCFA}$, $\mathsf {SubPFA}$ and their relatives and give several applications. For instance, we show that $\mathsf {SCFA}$ does not imply $\mathsf {MA}^+(\sigma $-closed) and $\mathsf {SubPFA}$ does not imply Martin’s Maximum.

We introduce and study a class of betweenness algebras—Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms for betweenness, we chose those that are most common, which makes our work applicable to a wide range of betweenness structures studied in the literature. On the algebraic side, we work with two operators of possibility and of sufficiency.

A partition is finitary if all its members are finite. For a set A, $\mathscr {B}(A)$ denotes the set of all finitary partitions of A. It is shown consistent with $\mathsf {ZF}$ (without the axiom of choice) that there exist an infinite set A and a surjection from A onto $\mathscr {B}(A)$. On the other hand, we prove in $\mathsf {ZF}$ some theorems concerning $\mathscr {B}(A)$ for infinite sets A, among which are the following:

1. (1) If there is a finitary partition of A without singleton blocks, then there are no surjections from A onto $\mathscr {B}(A)$ and no finite-to-one functions from $\mathscr {B}(A)$ to A.

2. (2) For all $n\in \omega $, $|A^n|<|\mathscr {B}(A)|$.

3. (3) $|\mathscr {B}(A)|\neq |\mathrm {seq}(A)|$, where $\mathrm {seq}(A)$ is the set of all finite sequences of elements of A.

We define $\Psi $-autoreducible sets given an autoreduction procedure $\Psi $. Then, we show that for any $\Psi $, a measurable class of $\Psi $-autoreducible sets has measure zero. Using this, we show that classes of cototal, uniformly introenumerable, introenumerable, and hyper-cototal enumeration degrees all have measure zero.

By analyzing the arithmetical complexity of the classes of cototal sets and cototal enumeration degrees, we show that weakly 2-random sets cannot be cototal and weakly 3-random sets cannot be of cototal enumeration degree. Then, we see that this result is optimal by showing that there exists a 1-random cototal set and a 2-random set of cototal enumeration degree. For uniformly introenumerable degrees and introenumerable degrees, we utilize $\Psi $-autoreducibility again to show the optimal result that no weakly 3-random sets can have introenumerable enumeration degree. We also show that no 1-random set can be introenumerable.

If G is any infinite-valued Gödel logic with identity, then the compactness cardinal of G is the least $\omega _1$-strongly compact cardinal.

We study a version of the Craig interpolation theorem formulated in the framework of the theory of institutions. This formulation proved crucial in the development of a number of key results concerning foundations of software specification and formal development. We investigate preservation of interpolation properties under institution extensions by new models and sentences. We point out that some interpolation properties remain stable under such extensions, even if quite arbitrary new models and sentences are permitted. We give complete characterisations of such situations for institution extensions by new models, by new sentences, as well as by new models and sentences, respectively.

It is known that in an infinite very weakly cancellative semigroup with size $\kappa $, any central set can be partitioned into $\kappa $ central sets. Furthermore, if $\kappa $ contains $\lambda $ almost disjoint sets, then any central set contains $\lambda $ almost disjoint central sets. Similar results hold for thick sets, very thick sets and piecewise syndetic sets. In this article, we investigate three other notions of largeness: quasi-central sets, C-sets, and J-sets. We obtain that the statement applies for quasi-central sets. If the semigroup is commutative, then the statement holds for C-sets. Moreover, if $\kappa ^\omega = \kappa $, then the statement holds for J-sets.

In this article, we introduce a hierarchy on the class of non-archimedean Polish groups that admit a compatible complete left-invariant metric. We denote this hierarchy by $\alpha $-CLI and L-$\alpha $-CLI where $\alpha $ is a countable ordinal. We establish three results:

1. (1) G is $0$-CLI iff $G=\{1_G\}$;

2. (2) G is $1$-CLI iff G admits a compatible complete two-sided invariant metric; and

3. (3) G is L-$\alpha $-CLI iff G is locally $\alpha $-CLI, i.e., G contains an open subgroup that is $\alpha $-CLI.

Subsequently, we show this hierarchy is proper by constructing non-archimedean CLI Polish groups $G_\alpha $ and $H_\alpha $ for $\alpha <\omega _1$, such that:

1. (1) $H_\alpha $ is $\alpha $-CLI but not L-$\beta $-CLI for $\beta <\alpha $; and

2. (2) $G_\alpha $ is $(\alpha +1)$-CLI but not L-$\alpha $-CLI.

A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a $\mathbf {0}'$-computable low$_3$ compact Polish space which is not homeomorphic to a computable one, and that, for any natural number $n\geq 2$, there exists a Polish space $X_n$ such that exactly the high$_{n}$-degrees are required to present the homeomorphism type of $X_n$. Along the way we investigate the computable aspects of Čech homology groups. We also show that no compact Polish space has a least presentation with respect to Turing reducibility.

This article is a contribution to the “neostability” type of result for abstract elementary classes. Under certain set theoretic assumptions, we propose a definition and a characterization of NIP in AECs. The class of AECs with NIP properly contains the class of stable AECs.1 We show that for an AEC K and $\lambda \geq LS(K)$, $K_\lambda $ is NIP if and only if there is a notion of nonforking on it which we call a w*-good frame. On the other hand, the negation of NIP leads to being able to encode subsets.

In this article we study the theories of the infinite-branching tree and the r-regular tree, and show that both of them are pseudofinite. Moreover, we show that they can be realized by infinite ultraproducts of polynomial exact classes of graphs, and provide a characterization of the Morley rank of definable sets in terms of the degrees of polynomials measuring their non-standard cardinalities. This answers negatively some questions from [2], where it is asked whether every stable generalised measurable structure is one-based.

We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neumann algebra $\mathcal {M}$ is never model complete if its direct integral decomposition contains $\mathrm {II}_1$ factors $\mathcal {N}$ such that $M_2(\mathcal {N})$ embeds into an ultrapower of $\mathcal {N}$. The proof in the case of $\mathrm {II}_1$ factors uses an explicit construction based on random matrices and quantum expanders.

The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories can be embedded into a model constructed by forcing. Our results rely on the model-theoretic properties of good ultrafilters, for which we provide a new existence proof on non-necessarily complete Boolean algebras.

We produce, relative to a $\textsf {ZFC}$ model with a supercompact cardinal, a $\textsf {ZFC}$ model of the Proper Forcing Axiom in which the nonstationary ideal on $\omega _1$ is $\Pi _1$-definable in a parameter from $H_{\aleph _2}$.

We show that there exists a recursive coloring function c such that any $\Pi ^0_3$ set is not a solution to c for Hindman’s theorem. We also show that there exists a recursive coloring function c such that any $\Delta ^0_3$ set is not a solution to c for Hindman’s theorem restricted to sums of at most three numbers.

In [15] we defined and proved the consistency of the principle $\mathrm {GM}^+(\omega _3,\omega _1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega _2$ and $\omega _3$. In this paper we formulate a strengthening of $\mathrm {GM}^+(\omega _3,\omega _1)$ that we call $\mathrm {SGM}^+(\omega _3,\omega _1)$. We also prove, modulo the consistency of two supercompact cardinals, that $\mathrm {SGM}^+(\omega _3,\omega _1)$ is consistent with ZFC. In addition to all the consequences of $\mathrm {GM}^+(\omega _3,\omega _1)$, the principle $\mathrm {SGM}^+(\omega _3,\omega _1)$, together with some mild cardinal arithmetic assumptions that hold in our model, implies that any forcing that adds a new subset of $\omega _2$ either adds a real or collapses some cardinal. This gives a partial answer to a question of Abraham [1] and extends a previous result of Todorčević [16] in this direction.