The complete characterisation of order types of non-standard models of Peano arithmetic and its extensions is a famous open problem. In this paper, we consider subtheories of Peano arithmetic (both with and without induction), in particular, theories formulated in proper fragments of the full language of arithmetic. We study the order types of their non-standard models and separate all considered theories via their possible order types. We compare the theories with and without induction and observe that the theories without induction tend to have an algebraic character that allows model constructions by closing a model under the relevant algebraic operations.

Let X be a finite connected poset and K a field. We study the question, when all Lie automorphisms of the incidence algebra I(X, K) are proper. Without any restriction on the length of X, we find only a sufficient condition involving certain equivalence relation on the set of maximal chains of X. For some classes of posets of length one, such as finite connected crownless posets (i.e., without weak crown subposets), crowns, and ordinal sums of two anti-chains, we give a complete answer.

In 2001, the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway’s ordered field ${\mathbf {No}}$ of surreal numbers was brought to the fore by the first author and employed to provide necessary and sufficient conditions for an ordered field (ordered $K$ -vector space) to be isomorphic to an initial subfield ( $K$ -subspace) of ${\mathbf {No}}$ , i.e. a subfield ( $K$ -subspace) of ${\mathbf {No}}$ that is an initial subtree of ${\mathbf {No}}$ . In this sequel, analogous results are established for ordered exponential fields, making use of a slight generalization of Schmeling’s conception of a transseries field. It is further shown that a wide range of ordered exponential fields are isomorphic to initial exponential subfields of $({\mathbf {No}}, \exp )$ . These include all models of $T({\mathbb R}_W, e^x)$ , where ${\mathbb R}_W$ is the reals expanded by a convergent Weierstrass system W. Of these, those we call trigonometric-exponential fields are given particular attention. It is shown that the exponential functions on the initial trigonometric-exponential subfields of ${\mathbf {No}}$ , which includes ${\mathbf {No}}$ itself, extend to canonical exponential functions on their surcomplex counterparts. The image of the canonical map of the ordered exponential field ${\mathbb T}^{LE}$ of logarithmic-exponential transseries into ${\mathbf {No}}$ is shown to be initial, as are the ordered exponential fields ${\mathbb R}((\omega ))^{EL}$ and ${\mathbb R}\langle \langle \omega \rangle \rangle $ .

A structure ${\mathbb Y}$ of a relational language L is called almost chainable iff there are a finite set $F \subset Y$ and a linear order $\,<$ on the set $Y\setminus F$ such that for each partial automorphism $\varphi $ (i.e., local automorphism, in Fraïssé’s terminology) of the linear order $\langle Y\setminus F, <\rangle $ the mapping $\mathop {\mathrm {id}}\nolimits _F \cup \varphi $ is a partial automorphism of ${\mathbb Y}$ . By theorems of Fraïssé and Pouzet, an infinite structure ${\mathbb Y}$ is almost chainable iff the profile of ${\mathbb Y}$ is bounded; namely, iff there is a positive integer m such that ${\mathbb Y}$ has $\leq m$ non-isomorphic substructures of size n, for each positive integer n. A complete first order L-theory ${\mathcal T}$ having infinite models is called almost chainable iff all models of ${\mathcal T}$ are almost chainable and it is shown that the last condition is equivalent to the existence of one countable almost chainable model of ${\mathcal T}$ . In addition, it is proved that an almost chainable theory has either one or continuum many non-isomorphic countable models and, thus, the Vaught conjecture is confirmed for almost chainable theories.

We present infinite analogues of our splinter lemma for constructing nested sets of separations. From these we derive several tree-of-tangles-type theorems for infinite graphs and infinite abstract separation systems.

We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the four classes of trees mentioned above.

We prove that the annihilating-ideal graph of a commutative semigroup with unity is, in general, not weakly perfect. This settles the conjecture of DeMeyer and Schneider [‘The annihilating-ideal graph of commutative semigroups’, J. Algebra469 (2017), 402–420]. Further, we prove that the zero-divisor graphs of semigroups with respect to semiprime ideals are weakly perfect. This enables us to produce a large class of examples of weakly perfect zero-divisor graphs from a fixed semigroup by choosing different semiprime ideals.

We investigate the Tukey order in the class of $F_{\sigma }$ ideals of subsets of $\omega $ . We show that no nontrivial $F_{\sigma }$ ideal is Tukey below a $G_{\delta }$ ideal of compact sets. We introduce the notions of flat ideals and gradually flat ideals. We prove a dichotomy theorem for flat ideals isolating gradual flatness as the side of the dichotomy that is structurally good. We give diverse characterizations of gradual flatness among flat ideals using Tukey reductions and games. For example, we show that gradually flat ideals are precisely those flat ideals that are Tukey below the ideal of density zero sets.

We investigate the structure of ultrafilters on Boolean algebras in the framework of Tukey reducibility. In particular, this paper provides several techniques to construct ultrafilters which are not Tukey maximal. Furthermore, we connect this analysis with a cardinal invariant of Boolean algebras, the ultrafilter number, and prove consistency results concerning its possible values on Cohen and random algebras.

In this work we investigate the Weihrauch degree of the problem Decreasing Sequence ( $\mathsf {DS}$ ) of finding an infinite descending sequence through a given ill-founded linear order, which is shared by the problem Bad Sequence ( $\mathsf {BS}$ ) of finding a bad sequence through a given non-well quasi-order. We show that $\mathsf {DS}$ , despite being hard to solve (it has computable inputs with no hyperarithmetic solution), is rather weak in terms of uniform computational strength. To make the latter precise, we introduce the notion of the deterministic part of a Weihrauch degree. We then generalize $\mathsf {DS}$ and $\mathsf {BS}$ by considering $\boldsymbol {\Gamma }$ -presented orders, where $\boldsymbol {\Gamma }$ is a Borel pointclass or $\boldsymbol {\Delta }^1_1$ , $\boldsymbol {\Sigma }^1_1$ , $\boldsymbol {\Pi }^1_1$ . We study the obtained $\mathsf {DS}$ -hierarchy and $\mathsf {BS}$ -hierarchy of problems in comparison with the (effective) Baire hierarchy and show that they do not collapse at any finite level.

We show that the countable universal homogeneous meet-tree has a generic automorphism, but it does not have a generic pair of automorphisms.

For any given subgroup H of a finite group G, the Quillen poset ${\mathcal {A}}_p(G)$ of nontrivial elementary abelian p-subgroups is obtained from ${\mathcal {A}}_p(H)$ by attaching elements via their centralisers in H. We exploit this idea to study Quillen’s conjecture, which asserts that if ${\mathcal {A}}_p(G)$ is contractible then G has a nontrivial normal p-subgroup. We prove that the original conjecture is equivalent to the ${{\mathbb {Z}}}$-acyclic version of the conjecture (obtained by replacing ‘contractible’ by ‘${{\mathbb {Z}}}$-acyclic’). We also work with the ${\mathbb {Q}}$-acyclic (strong) version of the conjecture, reducing its study to extensions of direct products of simple groups of p-rank at least $2$. This allows us to extend results of Aschbacher and Smith and to establish the strong conjecture for groups of p-rank at most $4$.

Let $\mathcal M=(M,<,\ldots)$ be a linearly ordered first-order structure and T its complete theory. We investigate conditions for T that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders with added unary predicates). Motivated by Rubin’s work [5], we label three conditions expressing properties of types of T and/or automorphisms of models of T. We prove several results which indicate the “geometric” simplicity of definable sets in models of theories satisfying these conditions. For example, we prove that the strongest condition characterizes, up to definitional equivalence (inter-definability), theories of colored orders expanded by equivalence relations with convex classes.

If ${\mathfrak {F}}$ is a type-definable family of commensurable subsets, subgroups or subvector spaces in a metric structure, then there is an invariant subset, subgroup or subvector space commensurable with ${\mathfrak {F}}$. This in particular applies to type-definable or hyper-definable objects in a classical first-order structure.

Several discrete geometry problems are equivalent to estimating the size of the largest homogeneous sets in graphs that happen to be the union of few comparability graphs. An important observation for such results is that if G is an n-vertex graph that is the union of r comparability (or more generally, perfect) graphs, then either G or its complement contains a clique of size $n^{1/(r+1)}$ .

This bound is known to be tight for $r=1$ . The question whether it is optimal for $r\ge 2$ was studied by Dumitrescu and Tóth. We prove that it is essentially best possible for $r=2$ , as well: we introduce a probabilistic construction of two comparability graphs on n vertices, whose union contains no clique or independent set of size $n^{1/3+o(1)}$ .

Using similar ideas, we can also construct a graph G that is the union of r comparability graphs, and neither G nor its complement contain a complete bipartite graph with parts of size $cn/{(log n)^r}$ . With this, we improve a result of Fox and Pach.

Let $X$ be a topological space. We consider certain generalized configuration spaces of points on $X$, obtained from the cartesian product $X^{n}$ by removing some intersections of diagonals. We give a systematic framework for studying the cohomology of such spaces using what we call ‘twisted commutative dg algebra models’ for the cochains on $X$. Suppose that $X$ is a ‘nice’ topological space, $R$ is any commutative ring, $H_{c}^{\bullet }(X,R)\rightarrow H^{\bullet }(X,R)$ is the zero map, and that $H_{c}^{\bullet }(X,R)$ is a projective $R$-module. We prove that the compact support cohomology of any generalized configuration space of points on $X$ depends only on the graded $R$-module $H_{c}^{\bullet }(X,R)$. This generalizes a theorem of Arabia.

We characterize the topological spaces of minimum cardinality which are weakly contractible but not contractible. This is equivalent to finding the non-dismantlable posets of minimum cardinality such that the geometric realization of their order complexes are contractible. Specifically, we prove that all weakly contractible topological spaces with fewer than nine points are contractible. We also prove that there exist (up to homeomorphism) exactly two topological spaces of nine points which are weakly contractible but not contractible.

We introduce a notion of ‘hereditarily antisymmetric’ operator algebras and prove a structure theorem for them in finite dimensions. We also characterize those operator algebras in finite dimensions which can be made upper triangular and prove matrix analogs of the theorems of Dilworth and Mirsky for finite posets. Some partial results are obtained in the infinite dimensional case.

In this paper we integrate two strands of the literature on stability of general state Markov chains: conventional, total-variation-based results and more recent order-theoretic results. First we introduce a complete metric over Borel probability measures based on ‘partial’ stochastic dominance. We then show that many conventional results framed in the setting of total variation distance have natural generalizations to the partially ordered setting when this metric is adopted.