We investigate Steel’s conjecture in ‘The Core Model Iterability Problem’ [10], that if $\mathcal {W}$ and $\mathcal {R}$ are $\Omega +1$-iterable, $1$-small weasels, then $\mathcal {W}\leq ^{*}\mathcal {R}$ iff there is a club $C\subset \Omega $ such that for all $\alpha \in C$, if $\alpha $ is regular, then $\alpha ^{+\mathcal {W}}\leq \alpha ^{+\mathcal {R}}$. We will show that the conjecture fails, assuming that there is an iterable premouse M which models KP and which has a -Woodin cardinal. On the other hand, we show that assuming there is no transitive model of KP with a Woodin cardinal the conjecture holds. In the course of this we will also show that if M is a premouse which models KP with a largest, regular, uncountable cardinal $\delta $, and $\mathbb {P} \in M$ is a forcing poset such that $M\models "\mathbb {P}\text { has the }\delta \text {-c.c.}"$, and $g\subset \mathbb {P}$ is M-generic, then $M[g]\models \text {KP}$. Additionally, we study the preservation of admissibility under iteration maps. At last, we will prove a fact about the closure of the set of ordinals at which a weasel has the S-hull property. This answers another question implicit in remarks in [10].

Homotopy type theory (HoTT) enables reasoning about groups directly as the types of symmetries (automorphisms) of mathematical structures. The HoTT approach to groups—first put forward by Buchholtz, van Doorn, and Rijke—identifies a group with the type of objects of which it is the symmetries. This type is called the “delooping” of the group, taking a term from algebraic topology. This approach naturally extends the group theory to higher groups which have symmetries between symmetries, and so on. In this paper, we formulate and prove a higher version of Schreier’s classification of all group extensions of a given group. Specifically, we prove that extensions of a group G by a group K are classified by actions of G on a delooping of K. Our proof is formalized in Cubical Agda, a dependently typed programming language and proof assistant which implements HoTT.

This paper studies which truth-values are most likely to be taken on finite models by arbitrary sentences of a many-valued predicate logic. The classical zero-one law (independently proved by Fagin and Glebskiĭ et al.) states that every sentence in a purely relational language is almost surely false or almost surely true, meaning that the probability that the formula is true in a randomly chosen finite structures of cardinal n is asymptotically $0$ or $1$ as n grows to infinity. We obtain generalizations of this result for any logic with values in a finite lattice-ordered algebra, and for some infinitely valued logics, including Łukasiewicz logic. The finitely valued case is reduced to the classical one through a uniform translation and Oberschelp’s generalization of the zero-one law. Moreover, it is shown that the complexity of determining the almost sure value of a given sentence is PSPACE-complete (generalizing Grandjean’s result for the classical case), and for some logics we describe completely the set of truth-values that can be taken by sentences almost surely.

We study versions of the tree pigeonhole principle, $\mathsf {TT}^1$, in the context of Weihrauch-style computable analysis. The principle has previously been the subject of extensive research in reverse mathematics, an outstanding question of which investigation is whether $\mathsf {TT}^1$ is $\Pi ^1_1$-conservative over the ordinary pigeonhole principle, $\mathsf {RT}^1$. Using the recently introduced notion of the first-order part of an instance-solution problem, we formulate the analog of this question for Weihrauch reducibility, and give an affirmative answer. In combination with other results, we use this to show that unlike $\mathsf {RT}^1$, the problem $\mathsf {TT}^1$ is not Weihrauch requivalent to any first-order problem. Our proofs develop new combinatorial machinery for constructing and understanding solutions to instances of $\mathsf {TT}^1$.

We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory as developed in univalent foundations. We present examples and applications in group theory, such as the acyclicity of the Higman group, through the identification of groups with 0-connected, pointed 1-types. Many of our results are formalized as part of the agda-unimath library.

We show that in the Silver model the inequality $\mathrm {cov}(\mathfrak {C} _2) < \mathrm {cov}(\mathfrak {P}_2)$ holds true, where $\mathfrak {C}_2$ and $\mathfrak {P}_2$ are the two-dimensional Mycielski ideals.

In $\mathsf {ZF}$ (i.e., Zermelo–Fraenkel set theory minus the axiom of choice ($\mathsf {AC}$)), we investigate the open problem of the deductive strength of the principle

which was introduced by Herzberg, Kanovei, Katz, and Lyubetsky [(2018), Journal of Symbolic Logic, 83(1), 385–391]. Typical results are:

1. (1) “$\aleph _{1}\leq 2^{\aleph _{0}}$” is strictly weaker than $\mathsf {UF_{wob}}(\omega )$ in $\mathsf {ZF}$.

2. (2) “There exists a free ultrafilter on $\omega $” does not imply “$\aleph _{1}\leq 2^{\aleph _{0}}$” in $\mathsf {ZF}$, and thus (by (1)) neither does it imply $\mathsf {UF_{wob}}(\omega )$ in $\mathsf {ZF}$. This fills the gap in information in Howard and Rubin [Mathematical Surveys and Monographs, American Mathematical Society, 1998], as well as in Herzberg et al. (2018).

3. (3) Martin’s Axiom ($\mathsf {MA}$) implies “no free ultrafilter on $\omega $ has a well-orderable base of cardinality $<2^{\aleph _{0}}$”, and the latter principle is not implied by $\aleph _{0}$-Martin’s Axiom ($\mathsf {MA}(\aleph _{0})$) in $\mathsf {ZF}$.

4. (4) $\mathsf {MA} + \mathsf {UF_{wob}}(\omega )$ implies $\mathsf {AC}(\mathbb {R})$ (the axiom of choice for non-empty sets of reals), which in turn implies $\mathsf {UF_{wob}}(\omega )$. Furthermore, $\mathsf {MA}$ and $\mathsf {UF_{wob}}(\omega )$ are mutually independent in $\mathsf {ZF}$.

5. (5) For any infinite linearly orderable set X, each of “every filter base on X can be well ordered” and “every filter on X has a well-orderable base” is equivalent to “$\wp (X)$ can be well ordered”. This yields novel characterizations of the principle “every linearly ordered set can be well ordered” in $\mathsf {ZFA}$ (i.e., Zermelo–Fraenkel set theory with atoms), and of $\mathsf {AC}$ in $\mathsf {ZF}$.

6. (6) “Every filter on $\mathbb {R}$ has a well-orderable base” implies “every filter on $\omega $ has a well-orderable base”, which in turn implies $\mathsf {UF_{wob}}(\omega )$, and none of these implications are reversible in $\mathsf {ZF}$.

7. (7) “Every filter on $\omega $ can be extended to an ultrafilter with a well-orderable base” is equivalent to $\mathsf {AC}(\mathbb {R}),$ and thus is strictly stronger than $\mathsf {UF_{wob}}(\omega )$ in $\mathsf {ZF}$.

8. (8) “Every filter on $\omega $ can be extended to an ultrafilter” implies “there exists a free ultrafilter on $\omega $ which has no well-orderable base of cardinality ${<2^{\aleph _{0}}}$”. The former principle does not imply “there exists a free ultrafilter on $\omega $ which has no well-orderable base” in $\mathsf {ZF}$, and the latter principle is true in the Basic Cohen Model.

We explore the interplay between $\omega $-categoricity and pseudofiniteness for groups, and we conjecture that $\omega $-categorical pseudofinite groups are finite-by-abelian-by-finite. We show that the conjecture reduces to nilpotent p-groups of class 2, and give a proof that several of the known examples of $\omega $-categorical p-groups satisfy the conjecture. In particular, we show by a direct counting argument that for any odd prime p the ($\omega $-categorical) model companion of the theory of nilpotent class 2 exponent p groups, constructed by Saracino and Wood, is not pseudofinite, and that an $\omega $-categorical group constructed by Baudisch with supersimple rank 1 theory is not pseudofinite. We also survey some scattered literature on $\omega $-categorical groups over 50 years.

We investigate the tower spectrum in the generalized Baire space, i.e., the set of lengths of towers in $\kappa ^\kappa $. We show that both small and large tower spectra at all regular cardinals simultaneously are consistent. Furthermore, based on previous work by Bağ, the first author and Friedman, we prove that globally, a small tower spectrum is consistent with an arbitrarily large spectrum of maximal almost disjoint families. Finally, we show that any non-trivial upper bound on the tower spectrum in $\kappa ^\kappa $ is consistent.

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can be defined as a sheaf for the coherent topology on a certain category of compact Hausdorff spaces. In this case, the sheaf condition has a fairly simple explicit description, which arises from studying the relationship between the coherent, regular, and extensive topologies. In this paper, we establish this relationship under minimal assumptions on the category, going beyond the case of compact Hausdorff spaces. Along the way, we also provide a characterization of sheaves and covering sieves for these categories. All results in this paper have been fully formalized in the Lean proof assistant.

We study the question of $\mathcal {L}_{\mathrm {ring}}$-definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a characterization of henselian fields that admit a non-trivial definable henselian valuation. In particular, we treat the cases where the canonical henselian valuation has positive residue characteristic, using techniques from the model theory and algebra of tame fields.

In this paper, we study the employment of $\Sigma _1$-sentences with certificates, i.e., $\Sigma _1$-sentences where a number of principles is added to ensure that the witness is sufficiently number-like. We develop certificates in some detail and illustrate their use by reproving some classical results and proving some new ones. An example of such a classical result is Vaught’s theorem of the strong effective inseparability of $\mathsf {R}_0$.

We also develop the new idea of a theory being $\mathsf {R}_{0\mathsf {p}}$-sourced. Using this notion, we can transfer a number of salient results from $\mathsf {R}_0$ to a variety of other theories.

We start by showing how to approximate unitary and bounded self-adjoint operators by operators in finite dimensional spaces. Using ultraproducts we give a precise meaning for the approximation. In this process we see how the spectral measure is obtained as an ultralimit of counting measures that arise naturally from the finite dimensional approximations. Then we see how generalized distributions can be interpreted in the ultraproduct. Finally we study how one can calculate kernels of operators K by calculating them in the finite dimensional approximations and how one needs to interpret Dirac deltas in the ultraproduct in order to get the kernels as propagators $\langle x_{1}|K|x_{0}\rangle $.

Reverse Mathematics (RM) is a program in the foundations of mathematics where the aim is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. Generally, the minimal axioms are equivalent to the theorem at hand, assuming a weak logical system called the base theory. Moreover, many theorems are either provable in the base theory or equivalent to one of four logical systems, together called the Big Five. For instance, the Weierstrass approximation theorem, i.e., that a continuous function can be approximated uniformly by a sequence of polynomials, has been classified in RM as being equivalent to weak König’s lemma, the second Big Five system. In this paper, we study approximation theorems for discontinuous functions via Bernstein polynomials from the literature. We obtain many equivalences between the latter and weak König’s lemma. We also show that slight variations of these approximation theorems fall far outside of the Big Five but fit in the recently developed RM of new ‘big’ systems, namely the uncountability of ${\mathbb R}$, the enumeration principle for countable sets, the pigeon-hole principle for measure, and the Baire category theorem.

Inspired by Adler’s idea on VC minimal theories [1], we introduce VC-minimal complexity. We show that for any $N\in \mathbb {N}^{>0}$, there is $k_N>0$ such that for any finite bipartite graph $(X,Y;E)$ with VC-minimal complexity $< N$, there exist $X'\subseteq X$, $Y'\subseteq Y$ with $|X'|\geq k_N |X|$, $|Y'|\geq k_N |Y|$ such that $X'\times Y' \subseteq E$ or $X'\times Y'\cap E=\emptyset $.

We characterize Borel line graphs in terms of 10 forbidden induced subgraphs, namely the nine finite graphs from the classical result of Beineke together with a 10th infinite graph associated with the equivalence relation $\mathbb {E}_0$ on the Cantor space. As a corollary, we prove a partial converse to the Feldman–Moore theorem, which allows us to characterize all locally countable Borel line graphs in terms of their Borel chromatic numbers.

For any $n<\omega $ we construct an infinite $(n+1)$-generated Heyting algebra whose n-generated subalgebras are of cardinality $\leq m_n$ for some positive integer $m_n$. From this we conclude that for every $n<\omega $ there exists a variety of Heyting algebras which contains an infinite $(n+1)$-generated algebra, but which contains only finite n-generated algebras. For the case $n=2$ this provides a negative answer to a question posed by G. Bezhanishvili and R. Grigolia in [4].

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

It is shown that every model of NF admits a permutation model containing an internal automorphism.

Let K denote prefix-free Kolmogorov complexity, and let $K^A$ denote it relative to an oracle A. We show that for any n, $K^{\emptyset ^{(n)}}$ is definable purely in terms of the unrelativized notion K. It was already known that 2-randomness is definable in terms of K (and plain complexity C) as those reals which infinitely often have maximal complexity. We can use our characterization to show that n-randomness is definable purely in terms of K. To do this we extend a certain “limsup” formula from the literature, and apply Symmetry of Information. This extension entails a novel use of semilow sets, and a more precise analysis of the complexity of $\Delta _2^0$ sets of minimal descriptions.