We provide a characterization of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to characterize differential largeness in terms of being existentially closed in the differential algebraic Laurent series ring, and we prove that any large field of infinite transcendence degree can be expanded to a differentially large field even under certain prescribed constant fields. As an application, we show that the theory of proper dense pairs of models of a complete and model-complete theory of large fields, is a complete theory. As a further consequence of the expansion result we show that there is no real closed and differential field that has a prime model extension in closed ordered differential fields, unless it is itself a closed ordered differential field.

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.

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.

Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. We use the natural notion of bisimulation equivalence in the setting of InqML, as introduced in [7], to characterise the expressiveness of InqML as the bisimulation invariant fragment of first-order logic over natural classes of two-sorted first-order structures that arise as relational encodings of inquisitive epistemic (S5-like) models. The non-elementary nature of these classes crucially requires non-classical model-theoretic methods for the analysis of first-order expressiveness, irrespective of whether we aim for characterisations in the sense of classical or of finite model theory.

The seminal Krajewski–Kotlarski–Lachlan theorem (1981) states that every countable recursively saturated model of $\mathsf {PA}$ (Peano arithmetic) carries a full satisfaction class. This result implies that the compositional theory of truth over $\mathsf {PA}$ commonly known as $\mathsf {CT}^{-}[\mathsf {PA}]$ is conservative over $\mathsf {PA}$. In contrast, Pakhomov and Enayat (2019) showed that the addition of the so-called axiom of disjunctive correctness (that asserts that a finite disjunction is true iff one of its disjuncts is true) to $\mathsf {CT}^{-}[\mathsf {PA}]$ axiomatizes the theory of truth $\mathsf {CT}_{0}[\mathsf {PA}]$ that was shown by Wcisło and Łełyk (2017) to be nonconservative over $\mathsf {PA}$. The main result of this paper (Theorem 3.12) provides a foil to the Pakhomov–Enayat theorem by constructing full satisfaction classes over arbitrary countable recursively saturated models of $\mathsf {PA}$ that satisfy arbitrarily large approximations of disjunctive correctness. This shows that in the Pakhomov–Enayat theorem the assumption of disjunctive correctness cannot be replaced with any of its approximations.

The complex field, equipped with the multivalued functions of raising to each complex power, is quasiminimal, proving a conjecture of Zilber and providing evidence towards his stronger conjecture that the complex exponential field is quasiminimal.

We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with a particular emphasis on the set $D'$ comprised of differences between successive elements. In particular, if the burden of the structure is at most n, then the result of applying the operation $D \mapsto D'\ n$ times must be a finite set (Theorem 1.1). In the case when the structure is densely ordered and has burden $2$, we show that any definable unary discrete set must be definable in some elementary extension of the structure $\langle \mathbb{R}; <, +, \mathbb{Z} \rangle $ (Theorem 1.3).

We study possible Scott sentence complexities of linear orderings using two approaches. First, we investigate the effect of the Friedman–Stanley embedding on Scott sentence complexity and show that it only preserves $\Pi ^{\mathrm {in}}_{\alpha }$ complexities. We then take a more direct approach and exhibit linear orderings of all Scott sentence complexities except $\Sigma ^{\mathrm {in}}_{3}$ and $\Sigma ^{\mathrm {in}}_{\lambda +1}$ for $\lambda $ a limit ordinal. We show that the former cannot be the Scott sentence complexity of a linear ordering. In the process we develop new techniques which appear to be helpful to calculate the Scott sentence complexities of structures.

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.

Several structural results about permutation groups of finite rank definable in differentially closed fields of characteristic zero (and other similar theories) are obtained. In particular, it is shown that every finite rank definably primitive permutation group is definably isomorphic to an algebraic permutation group living in the constants. Applications include the verification, in differentially closed fields, of the finite Morley rank permutation group conjectures of Borovik-Deloro and Borovik-Cherlin. Applying the results to binding groups for internality to the constants, it is deduced that if complete types p and q are of rank m and n, respectively, and are nonorthogonal, then the $(m+3)$rd Morley power of p is not weakly orthogonal to the $(n+3)$rd Morley power of q. An application to transcendence of generic solutions of pairs of algebraic differential equations is given.

For relevant logics, the admissibility of the rule of proof $\gamma $ has played a significant historical role in the development of relevant logics. For first-order logics, however, there have been only a handful of $\gamma $-admissibility proofs for a select few logics. Here we show that, for each logic L of a wide range of propositional relevant logics for which excluded middle is valid (with fusion and the Ackermann truth constant), the first-order extensions QL and LQ admit $\gamma $. Specifically, these are particular “conventionally normal” extensions of the logic $\mathbf {G}^{g,d}$, which is the least propositional relevant logic (with the usual relational semantics) that admits $\gamma $ by the method of normal models. We also note the circumstances in which our results apply to logics without fusion and the Ackermann truth constant.

We introduce a generalization of sequential compactness using barriers on $\omega $ extending naturally the notion introduced in [W. Kubiś and P. Szeptycki, On a topological Ramsey theorem, Canad. Math. Bull., 66 (2023), 156–165]. We improve results from [C. Corral and O. Guzmán and C. López-Callejas, High dimensional sequential compactness, Fund. Math.] by building spaces that are ${\mathcal {B}}$-sequentially compact but not ${\mathcal {C}}$-sequentially compact when the barriers ${\mathcal {B}}$ and ${\mathcal {C}}$ satisfy certain rank assumption which turns out to be equivalent to a Katětov-order assumption. Such examples are constructed under the assumption ${\mathfrak {b}} ={\mathfrak {c}}$. We also exhibit some classes of spaces that are ${\mathcal {B}}$-sequentially compact for every barrier ${\mathcal {B}}$, including some classical classes of compact spaces from functional analysis, and as a byproduct, we obtain some results on angelic spaces. Finally, we introduce and compute some cardinal invariants naturally associated to barriers.

Let $\mathrm {R}$ be a real closed field. Given a closed and bounded semialgebraic set $A \subset \mathrm {R}^n$ and semialgebraic continuous functions $f,g:A \rightarrow \mathrm {R}$ such that $f^{-1}(0) \subset g^{-1}(0)$, there exist an integer $N> 0$ and $c \in \mathrm {R}$ such that the inequality (Łojasiewicz inequality) $|g(x)|^N \le c \cdot |f(x)|$ holds for all $x \in A$. In this paper, we consider the case when A is defined by a quantifier-free formula with atoms of the form $P = 0, P>0, P \in \mathcal {P}$ for some finite subset of polynomials $\mathcal {P} \subset \mathrm {R}[X_1,\ldots ,X_n]_{\leq d}$, and the graphs of $f,g$ are also defined by quantifier-free formulas with atoms of the form $Q = 0, Q>0, Q \in \mathcal {Q}$, for some finite set $\mathcal {Q} \subset \mathrm {R}[X_1,\ldots ,X_n,Y]_{\leq d}$. We prove that the Łojasiewicz exponent in this case is bounded by $(8 d)^{2(n+7)}$. Our bound depends on d and n but is independent of the combinatorial parameters, namely the cardinalities of $\mathcal {P}$ and $\mathcal {Q}$. The previous best-known upper bound in this generality appeared in P. Solernó, Effective Łojasiewicz Inequalities in Semi-Algebraic Geometry, Applicable Algebra in Engineering, Communication and Computing (1991) and depended on the sum of degrees of the polynomials defining $A,f,g$ and thus implicitly on the cardinalities of $\mathcal {P}$ and $\mathcal {Q}$. As a consequence, we improve the current best error bounds for polynomial systems under some conditions. Finally, we prove a version of Łojasiewicz inequality in polynomially bounded o-minimal structures. We prove the existence of a common upper bound on the Łojasiewicz exponent for certain combinatorially defined infinite (but not necessarily definable) families of pairs of functions. This improves a prior result of Chris Miller (C. Miller, Expansions of the real field with power functions, Ann. Pure Appl. Logic (1994)).

We study generic properties of topological groups in the sense of Baire category.

First, we investigate countably infinite groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed groups and the word problem. Recently, I. Goldbring, S. Kunnawalkam Elayavalli, and Y. Lodha proved that every isomorphism class is meager among countably infinite groups. In contrast, it follows from the work of W. Hodges on model-theoretic forcing that there exists a comeager isomorphism class among countably infinite abelian groups. We present a new elementary proof of this result.

Then, we turn to compact metrizable abelian groups. We use Pontryagin duality to show that there is a comeager isomorphism class among compact metrizable abelian groups. We discuss its connections to the countably infinite case.

Finally, we study compact metrizable groups. We prove that the generic compact metrizable group is neither connected nor totally disconnected; also it is neither torsion-free nor a torsion group.

We give a short proof of a theorem of Beleznay asserting that the set $L2$ of reals coding linear orders of the form $I + I$ is complete analytic.

The thesis uses various approaches to explore the algorithmic complexity of families of subsets of natural numbers. One of these approaches involves investigating upper semilattices of computable numberings of a given family and their complexity in different hierarchies. These semilattices, known as Rogers semilattices, can help distinguish different structural properties of families of partial computable functions and computably enumerable sets. As a result, by using Rogers semilattices of computable numberings, we can measure the algorithmic complexity of the corresponding family.

In the first part of thesis, we focus on limitwise monotonic numberings for families of limitwise monotonic sets and define their Rogers semilattices. The chapter investigates global invariants that show differences in the algebraic and elementary properties of the Rogers semilattices of families of sets from arithmetical hierarchy and Rogers semilattices of limitwise monotonic numberings. Such invariants include cardinality, laticeness, and types of isomorphism.

Within the second part of thesis, we explore the different forms of isomorphism exhibited by Rogers semilattices of families of sets in the analytical hierarchy. Additionally, we take into account various set-theoretic assumptions. Our research demonstrates that, when set-theoretic assumption known as Projective Determinacy is assumed, there exist an infinite number of non-isomorphic Rogers semilattices at each $\Sigma _n^1$-level of the analytical hierarchy.

I would also like to acknowledge the Grant of Science Committee of the Ministry of Science and Higher Education of the Republic of Kazakhstan (AP19676989) and the Nazarbayev University Faculty Development Grant (N021220FD3851) for funding this research.

Abstract prepared by Zhansaya Tleuliyeva

zhansaya.tleuliyeva@nu.edu.kz.

URL: http://nur.nu.edu.kz/handle/123456789/7769.

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

Much of the theory of large cardinals beyond a measurable cardinal concerns the structure of elementary embeddings of the universe of sets into inner models. This paper seeks to answer the question of whether the inner model uniquely determines the elementary embedding.

We answer a question of Woodin [3] by showing that “$\mathrm {NS}_{\omega _1}$ is $\omega _1$-dense” holds in a stationary set preserving extension of any universe with a cardinal $\kappa $ which is a limit of ${<}\kappa $-supercompact cardinals. We introduce a new forcing axiom $\mathrm {Q}$-Maximum, prove it consistent from a supercompact limit of supercompact cardinals, and show that it implies the version of Woodin’s $(*)$-axiom for $\mathbb Q_{\mathrm {max}}$. It follows that $\mathrm {Q}$-Maximum implies “$\mathrm {NS}_{\omega _1}$ is $\omega _1$-dense.” Along the way we produce a number of other new instances of Asperó–Schindler’s $\mathrm {MM}^{++}\Rightarrow (*)$ (see [1]).

To force $\mathrm {Q}$-Maximum, we develop a method which allows for iterating $\omega _1$-preserving forcings which may destroy stationary sets, without collapsing $\omega _1$. We isolate a new regularity property for $\omega _1$-preserving forcings called respectfulness which lies at the heart of the resulting iteration theorem.

In the second part, we show that the $\kappa $-mantle, i.e., the intersection of all grounds which extend to V via forcing of size ${<}\kappa $, may fail to be a model of $\mathrm {AC}$ for various types of $\kappa $. Most importantly, it can be arranged that $\kappa $ is a Mahlo cardinal. This answers a question of Usuba [2].

Abstract prepared by Andreas Lietz

E-mail: andreas.lietz@tuwien.ac.at.

URL: https://andreas-lietz.github.io/resources/PDFs/AJourneyGuidedByThe Stars.pdf.

Traditionally, the role of general topology in model theory has been mainly limited to the study of compacta that arise in first-order logic. In this context, the topology tends to be so trivial that it turns into combinatorics, motivating a widespread approach that focuses on the combinatorial component while usually hiding the topological one. This popular combinatorial approach to model theory has proved to be so useful that it has become rare to see more advanced topology in model-theoretic articles. Prof. Franklin D. Tall has led the re-introduction of general topology as a valuable tool to push the boundaries of model theory. Most of this thesis is directly influenced by and builds on this idea.

The first part of the thesis will answer a problem of T. Gowers on the undefinability of pathological Banach spaces such as Tsirelson space. The topological content of this chapter is centred around Grothendieck spaces.

In a similar spirit, the second part will show a new connection between the notion of metastability introduced by T. Tao and the topological concept of pseudocompactness. We shall make use of this connection to show a result of X. Caicedo, E. Dueñez, J. Iovino in a much simplified manner.

The third part of the thesis will carry a higher set-theoretic content as we shall use forcing and descriptive set theory to show that the well-known theorem of M. Morley on the trichotomy concerning the number of models of a first-order countable theory is undecidable if one considers second-order countable theories instead.

The only part that did not originate from model-theoretic questions will be the fourth one. We show that $\operatorname {ZF} + \operatorname {DC} +$“all Turing invariant sets of reals have the perfect set property” implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations. This result provides evidence in favour of a long-standing conjecture asking whether Turing determinacy implies the axiom of determinacy.

Abstract prepared by Clovis Hamel

E-mail: chamel@math.toronto.edu