Answering a question of Cifú Lopes, we give a syntactic characterization of those continuous sentences that are preserved under reduced products of metric structures. In fact, we settle this question in the wider context of general structures as introduced by the second author.

We give a short proof of the fundamental theorem of central element theory (see: Sanchez Terraf and Vaggione, Varieties with definable factor congruences, T.A.M.S. 361). The original proof is constructive and very involved and relies strongly on the fact that the class be a variety. Here we give a more direct nonconstructive proof which applies for the more general case of a first-order class which is both closed under the formation of direct products and direct factors.

Our main result is that there exist structures which cannot be computably recovered from their tree of tuples. This implies that there are structures with no computable copies which nevertheless cannot code any information in a natural/functorial way.

In connection with the work of Anscombe, Macpherson, Steinhorn and the present author in [1] we investigate the notion of a multidimensional exact class (R-mec), a special kind of multidimensional asymptotic class (R-mac) with measuring functions that yield the exact sizes of definable sets, not just approximations. We use results about smooth approximation [24] and Lie coordinatization [13] to prove the following result (Theorem 4.6.4), as conjectured by Macpherson: For any countable language $\mathcal {L}$ and any positive integer d the class $\mathcal {C}(\mathcal {L},d)$ of all finite $\mathcal {L}$-structures with at most d 4-types is a polynomial exact class in $\mathcal {L}$, where a polynomial exact class is a multidimensional exact class with polynomial measuring functions.

Skolem (1956) studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant $1$ , the identity function ${\mathbf {x}}$ , and such that whenever f and g are in the set, $f+g,fg$ and $f^g$ are in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz (1984) computed the order type of the fragment below $2^{2^{\mathbf {x}}}$ . Here we prove that the set of asymptotic classes within any Archimedean class of Skolem functions has order type $\omega $ . As a consequence we obtain, for each positive integer n, an upper bound for the fragment below $2^{n^{\mathbf {x}}}$ . We deduce an epsilon-zero upper bound for the fragment below $2^{{\mathbf {x}}^{\mathbf {x}}}$ , improving the previous epsilon-omega bound by Levitz (1978). A novel feature of our approach is the use of Conway’s surreal number for asymptotic calculations.

Given a regular cardinal $\kappa $ such that $\kappa ^{<\kappa }=\kappa $ (or any regular $\kappa $ if the Generalized Continuum Hypothesis holds), we study a class of toposes with enough points, the $\kappa $ -separable toposes. These are equivalent to sheaf toposes over a site with $\kappa $ -small limits that has at most $\kappa $ many objects and morphisms, the (basis for the) topology being generated by at most $\kappa $ many covering families, and that satisfy a further exactness property T. We prove that these toposes have enough $\kappa $ -points, that is, points whose inverse image preserve all $\kappa $ -small limits. This generalizes the separable toposes of Makkai and Reyes, that are a particular case when $\kappa =\omega $ , when property T is trivially satisfied. This result is essentially a completeness theorem for a certain infinitary logic that we call $\kappa $ -geometric, where conjunctions of less than $\kappa $ formulas and existential quantification on less than $\kappa $ many variables is allowed. We prove that $\kappa $ -geometric theories have a $\kappa $ -classifying topos having property T, the universal property being that models of the theory in a Grothendieck topos with property T correspond to $\kappa $ -geometric morphisms (geometric morphisms the inverse image of which preserves all $\kappa $ -small limits) into that topos. Moreover, we prove that $\kappa $ -separable toposes occur as the $\kappa $ -classifying toposes of $\kappa $ -geometric theories of at most $\kappa $ many axioms in canonical form, and that every such $\kappa $ -classifying topos is $\kappa $ -separable. Finally, we consider the case when $\kappa $ is weakly compact and study the $\kappa $ -classifying topos of a $\kappa $ -coherent theory (with at most $\kappa $ many axioms), that is, a theory where only disjunction of less than $\kappa $ formulas are allowed, obtaining a version of Deligne’s theorem for $\kappa $ -coherent toposes from which we can derive, among other things, Karp’s completeness theorem for infinitary classical logic.

We calculate the complexity of Scott sentences of scattered linear orders. Given a countable scattered linear order L of Hausdorff rank $\alpha $ we show that it has a ${d\text {-}\Sigma _{2\alpha +1}}$ Scott sentence. It follows from results of Ash [2] that for every countable $\alpha $ there is a linear order whose optimal Scott sentence has this complexity. Therefore, our bounds are tight. We furthermore show that every Hausdorff rank 1 linear order has an optimal ${\Pi ^{\mathrm {c}}_{3}}$ or ${d\text {-}\Sigma ^{\mathrm {c}}_{3}}$ Scott sentence and give a characterization of those linear orders of rank $1$ with ${\Pi ^{\mathrm {c}}_{3}}$ optimal Scott sentences. At last we show that for all countable $\alpha $ the class of Hausdorff rank $\alpha $ linear orders is $\boldsymbol {\Sigma }_{2\alpha +2}$ complete and obtain analogous results for index sets of computable linear orders.

In this paper, we present a version of Fraïssé theory for categories of metric structures. Using this version, we show that every UHF algebra can be recognized as a Fraïssé limit of a class of C*-algebras of matrix-valued continuous functions on cubes with distinguished traces. We also give an alternative proof of the fact that the Jiang–Su algebra is the unique simple monotracial C*-algebra among all the inductive limits of prime dimension drop algebras.

We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimension. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that a pseudofinite $\widetilde {\mathfrak M}_c$ -group of finite positive dimension contains a finite-by-abelian subgroup of positive dimension, and a pseudofinite group of dimension 2 contains a soluble subgroup of dimension 2.

In this paper we study a notion of HL-extension (HL standing for Herwig–Lascar) for a structure in a finite relational language $\mathcal {L}$ . We give a description of all finite minimal HL-extensions of a given finite $\mathcal {L}$ -structure. In addition, we study a group-theoretic property considered by Herwig–Lascar and show that it is closed under taking free products. We also introduce notions of coherent extensions and ultraextensive $\mathcal {L}$ -structures and show that every countable $\mathcal {L}$ -structure can be extended to a countable ultraextensive structure. Finally, it follows from our results that the automorphism group of any countable ultraextensive $\mathcal {L}$ -structure has a dense locally finite subgroup.

We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal $\mathbb {L}_{\omega _1, \omega }$ sentence categorical on an end segment of cardinals below $\beth _\omega $ must be categorical also everywhere above $\beth _\omega $ . This is done without any additional model-theoretic hypotheses (such as amalgamation or arbitrarily large models) and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

Quantum set theory (QST) and topos quantum theory (TQT) are two long running projects in the mathematical foundations of quantum mechanics (QM) that share a great deal of conceptual and technical affinity. Most pertinently, both approaches attempt to resolve some of the conceptual difficulties surrounding QM by reformulating parts of the theory inside of nonclassical mathematical universes, albeit with very different internal logics. We call such mathematical universes, together with those mathematical and logical structures within them that are pertinent to the physical interpretation, ‘Q-worlds’. Here, we provide a unifying framework that allows us to (i) better understand the relationship between different Q-worlds, and (ii) define a general method for transferring concepts and results between TQT and QST, thereby significantly increasing the expressive power of both approaches. Along the way, we develop a novel connection to paraconsistent logic and introduce a new class of structures that have significant implications for recent work on paraconsistent set theory.

We prove Bogolyubov–Ruzsa-type results for finite subsets of groups with small tripling, |A3| ≤ O(|A|), or small alternation, |AA−1A| ≤ O(|A|). As applications, we obtain a qualitative analogue of Bogolyubov’s lemma for dense sets in arbitrary finite groups, as well as a quantitative arithmetic regularity lemma for sets of bounded VC-dimension in finite groups of bounded exponent. The latter result generalizes the abelian case, due to Alon, Fox and Zhao, and gives a quantitative version of previous work of the author, Pillay and Terry.

Many phenomena in geometry and analysis can be explained via the theory of $D$-modules, but this theory explains close to nothing in the non-archimedean case, by the absence of integration by parts. Hence there is a need to look for alternatives. A central example of a notion based on the theory of $D$-modules is the notion of holonomic distributions. We study two recent alternatives of this notion in the context of distributions on non-archimedean local fields, namely $\mathscr{C}^{\text{exp}}$-class distributions from Cluckers et al. [‘Distributions and wave front sets in the uniform nonarchimedean setting’, Trans. Lond. Math. Soc.5(1) (2018), 97–131] and WF-holonomicity from Aizenbud and Drinfeld [‘The wave front set of the Fourier transform of algebraic measures’, Israel J. Math.207(2) (2015), 527–580 (English)]. We answer a question from Aizenbud and Drinfeld [‘The wave front set of the Fourier transform of algebraic measures’, Israel J. Math.207(2) (2015), 527–580 (English)] by showing that each distribution of the $\mathscr{C}^{\text{exp}}$-class is WF-holonomic and thus provides a framework of WF-holonomic distributions, which is stable under taking Fourier transforms. This is interesting because the $\mathscr{C}^{\text{exp}}$-class contains many natural distributions, in particular, the distributions studied by Aizenbud and Drinfeld [‘The wave front set of the Fourier transform of algebraic measures’, Israel J. Math.207(2) (2015), 527–580 (English)]. We show also another stability result of this class, namely, one can regularize distributions without leaving the $\mathscr{C}^{\text{exp}}$-class. We strengthen a link from Cluckers et al. [‘Distributions and wave front sets in the uniform nonarchimedean setting’, Trans. Lond. Math. Soc.5(1) (2018), 97–131] between zero loci and smooth loci for functions and distributions of the $\mathscr{C}^{\text{exp}}$-class. A key ingredient is a new resolution result for subanalytic functions (by alterations), based on embedded resolution for analytic functions and model theory.

We give an exposition of the compactness of $L({Q^{\mathrm{\,cf}}\!\!\!\!\!\!}_{C})$ , for any set C of regular cardinals.

We present three examples of countable homogeneous structures (also called Fraïssé limits) whose automorphism groups are not universal, namely, fail to contain isomorphic copies of all automorphism groups of their substructures.

Our first example is a particular case of a rather general construction on Fraïssé classes, which we call diversification, leading to automorphism groups containing copies of all finite groups. Our second example is a special case of another general construction on Fraïssé classes, the mixed sums, leading to a Fraïssé class with all finite symmetric groups appearing as automorphism groups and at the same time with a torsion-free automorphism group of its Fraïssé limit. Our last example is a Fraïssé class of finite models with arbitrarily large finite abelian automorphism groups, such that the automorphism group of its Fraïssé limit is again torsion-free.

It is known that there exists a first-order sentence that holds in a finite group if and only if the group is soluble. Here it is shown that the corresponding statements with ‘solubility’ replaced by ‘nilpotence’ and ‘perfectness’, among others, are false.

These facts present difficulties for the study of pseudofinite groups. However, a very weak form of Frattini’s theorem on the nilpotence of the Frattini subgroup of a finite group is proved for pseudofinite groups.

A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields and of the theory of separably closed fields of arbitrary imperfection degree.

There is a Turing computable embedding $\Phi $ of directed graphs $\mathcal {A}$ in undirected graphs (see [15]). Moreover, there is a fixed tuple of formulas that give a uniform effective interpretation; i.e., for all directed graphs $\mathcal {A}$ , these formulas interpret $\mathcal {A}$ in $\Phi (\mathcal {A})$ . It follows that $\mathcal {A}$ is Medvedev reducible to $\Phi (\mathcal {A})$ uniformly; i.e., $\mathcal {A}\leq _s\Phi (\mathcal {A})$ with a fixed Turing operator that serves for all $\mathcal {A}$ . We observe that there is a graph G that is not Medvedev reducible to any linear ordering. Hence, G is not effectively interpreted in any linear ordering. Similarly, there is a graph that is not interpreted in any linear ordering using computable $\Sigma _2$ formulas. Any graph can be interpreted in a linear ordering using computable $\Sigma _3$ formulas. Friedman and Stanley [4] gave a Turing computable embedding L of directed graphs in linear orderings. We show that there is no fixed tuple of $L_{\omega _1\omega }$ -formulas that, for all G, interpret the input graph G in the output linear ordering $L(G)$ . Harrison-Trainor and Montalbán [7] have also shown this, by a quite different proof.

We characterize the linear order types $\tau $ with the property that given any countable linear order $\mathcal {L}$ , $\tau \cdot \mathcal {L}$ is a computable linear order iff $\mathcal {L}$ is a computable linear order, as exactly the finite nonempty order types.