Mathematics

Given a functor $F: \mathcal{C} \to \mathcal{D}$ and a model-theoretic independence relation on $\mathcal{D}$, we can lift that independence relation along $F$ to $\mathcal{C}$ by declaring a commuting square in $\mathcal{C}$ to be independent if its image under $F$ is independent. For each property that an independence relation can have we give assumptions on the functor that guarantee the property to be lifted.

The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric logic plus implication) and classical. For the first two, the corresponding notion of classifying topos is given by restricting the use of geometric morphisms to open and sub-open geometric morphisms respectively. For the last one, we restrict ourselves to Boolean toposes instead. Butz and Johnstone proved that the first-order classifying topos of an infinitary first-order theory exists precisely when that theory does not have too many infinitary first-order formulas, up to intuitionistically provable equivalence. We prove similar statements for the sub-first-order and Boolean case. Along the way we obtain completeness results of infinitary sub-first-order logic and infinitary classical logic with respect to (Boolean) toposes.

We generalise various theorems for finding indiscernible trees and arrays to positive logic: based on an existing modelling theorem for s-trees, we prove modelling theorems for str-trees, str₀-trees (the reduct of str-trees that forgets the length comparison relation) and arrays. In doing so, we prove stronger versions for basing—rather than locally basing or EM-basing—str-trees on s-trees and str₀-trees on str-trees. As an application we show that a thick positive theory has $k$-TP₂ iff it has 2-TP₂.

We give four different independence relations on any exponential field. Each is a canonical independence relation on a suitable Abstract Elementary Class of exponential fields, showing that two of these are NSOP₁-like and non-simple, a third is stable, and the fourth is the quasiminimal pregeometry of Zilber's exponential fields, previously known to be stable (and uncountably categorical). We also characterise the fourth independence relation in terms of the third, strong independence.

The classes stable, simple and NSOP₁ in the stability hierarchy for first-order theories can be characterised by the existence of a certain independence relation. For each of them there is a canonicity theorem: there can be at most one nice independence relation. Independence in stable and simple first-order theories must come from forking and dividing (which then coincide), and for NSOP₁ theories it must come from Kim-dividing.

We generalise this work to the framework of AECats (Abstract Elementary Categories) with the amalgamation property. These are a certain kind of accessible category generalising the category of (subsets of) models of some theory. We prove canonicity theorems for stable, simple and NSOP₁-like independence relations. The stable and simple cases have been done before in slightly different setups, but we provide them here as well so that we can recover part of the original stability hierarchy. We also provide abstract definitions for each of these independence relations as what we call isi-dividing, isi-forking and long Kim-dividing.

We construct a 2-equivalence $\mathfrak{CohTheory}^\text{op} \simeq \mathfrak{TypeSpaceFunc}$. Here $\mathfrak{CohTheory}$ is the 2-category of positive theories and $\mathfrak{TypeSpaceFunc}$ is the 2-category of type space functors. We give a precise definition of interpretations for positive logic, which will be the 1-cells in $\mathfrak{CohTheory}$. The 2-cells are definable homomorphisms. The 2-equivalence restricts to a duality of categories, making precise the philosophy that a theory is 'the same' as the collection of its type spaces (i.e. its type space functor).

In characterising those functors that arise as type space functors, we find that they are specific instances of (coherent) hyperdoctrines. This connects two different schools of thought on the logical structure of a theory.

The key ingredient, the Deligne completeness theorem, arises from topos theory, where positive theories have been studied under the name of coherent theories.

This is joint work with Francesco Gallinaro and Anna Dmitrieva. We give definitions of the properties OP, IP, k-TP, TP₁, k-TP₂, SOP₁, SOP₂ and SOP₃ in positive logic, a proper generalisation of full first-order logic where negation is not built in, but can be added as desired. We prove various implications and equivalences between these properties, matching those known from full first-order logic. We will look at an example illustrating why these definitions have to be altered for positive logic. We will also give positive versions of the well-known results that a theory is stable iff it is NSOP and NIP, and that a theory is simple iff it is NTP₁ and NTP₂. In the positive versions of these theorems we replace NSOP and NTP1 respectively by NSOP₁. This allows us to give completely new proofs based on Kim-independence.

Independence relations, such as linear independence, are a central tool in classification theory, an important branch of model theory. Through them, classical model-theoretic results have been vastly generalised to classes of structures that are not first-order axiomatisable. Recent developments in a category-theoretic approach have pushed this even further. In this talk we will look at one such development: a category-theoretic construction of independence relations in the context of locally presentable and accessible categories. Such a construction was already given by Lieberman, Vasey and Rosický for stable independence relations, the most well-behaved class of independence relations. We generalise this construction by extending it to the more general classes of simple and NSOP1-like independence relations. Throughout, we will consider many examples to make the talk accessible to a broader audience. This is joint work with J. Rosický.

Neostability focuses on developing the powerful tools and ideas for stable theories in broader, less well-behaved, classes of theories. This has been hugely successful in simple theories and more recently in NSOP₁ theories. A central notion in this context is that of an independence relation, which in stable and simple theories comes from forking and in NSOP₁ theories it comes from Kim-forking. There are many mathematically interesting structures that cannot be studied in the classical framework of first-order logic, but where ideas from neostability, such as independence, apply. For this reason, neostability has been developed in more general logical frameworks, such as continuous logic, positive logic and a very general category-theoretic approach that subsumes all these frameworks. In this talk I will focus on the categorical approach to independence relations, and how even in this general setting we get canonicity theorems that are surprisingly close to those we know from first-order logic. I will finish with recent examples of where the categorical framework can be applied.

Independence relations play a central role in model theory. We all already know examples of independence relations, for example linear independence in vector spaces. Shelah generalised the idea of independence, through the notion of forking, to a very broad class of mathematical structures: the so-called stable structures. In vector spaces (which are stable structures) this forking independence then coincides with linear independence. This is no coincidence, because it turns out that independence is canonical. That is, in any structure there is at most one nice enough independence relation, and if it exists it coincides with forking independence. Later, Kim and Pillay generalised work on forking independence to the even broader class of simple structures. This does come at the cost of a certain property that forking has in stable structures, but we keep enough properties for a canonicity theorem. Going one step further there is the class of NSOP₁ structures, which is more general than the class of simple structures. Kaplan and Ramsey were able to generalise the work on independence to this NSOP₁ class. This comes at the cost of another property, but we still keep canonicity (technical note: we now have to replace forking by Kim-forking).

All of the above takes place in the framework of first-order logic. Many interesting mathematical structures do not fit well in this framework. In this talk we will have a look at results that generalise these theorems on canonicity of independence to a very general category-theoretic framework, called Abstract Elementary Categories (AECats). That is, after translating the properties that we know independence has in stable / simple / NSOP₁ structures to our category-theoretic framework, we get a definition of a stable / simple / NSOP₁-like independence relation. The main results then state that there can be at most one stable / simple / NSOP₁-like independence relation on an AECat and that it has to be given by an appropriate generalisation of forking (or Kim-forking for NSOP₁-like independence).

In Shelah's stability hierarchy we classify theories using combinatorial properties. Some important classes are: stable, simple and NSOP₁, each being contained in the next. We can characterise these classes by the existence of a certain independence relation. For example, in vector spaces such an independence relation comes from linear independence. Part of this characterisation is canonicity of the independence relation: there can be at most one nice enough independence relation in a theory.

Lieberman, Rosický and Vasey proved canonicity of stable-like independence relations in accessible categories. Accessible categories are a very general framework. The category of models of some theory is an accessible category, every AEC (abstract elementary class) is an accessible category, but even then accessible categories are more general. Inspired by this we introduce the framework of AECats (abstract elementary categories) and prove canonicity for simple-like and NSOP₁-like independence relations. This way we reconstruct part of the hierarchy that we have for first-order theories, but now in the very general category-theoretic setting.

In Shelah's classification of first-order theories we classify theories using combinatorial properties. The most well-known class is that of stable theories, which are very well-behaved. Simple theories are more general, and then even more general are the NSOP₁ theories. We can characterise those classes by the existence of a certain independence relation. For example, in vector spaces such an independence relation comes from linear independence. Part of this characterisation is canonicity of the independence relation: there can be at most one nice enough independence relation in a theory.

Lieberman, Rosický and Vasey proved canonicity of stable-like independence relations in accessible categories. Inspired by this we introduce the framework of AECats (abstract elementary categories) and prove canonicity for simple-like and NSOP₁-like independence relations. This way we reconstruct part of the hierarchy that we have for first-order theories, but now in the very general category-theoretic setting.

This is joint work (in progress)  with Jan Dobrowolski. Positive logic is a proper generalisation of first-order logic where we only allow the logical connectives for conjunction, disjunction, falsehood, truth and the existential quantifier. For example, if we add hyperimaginaries as parameters to our monster model then we leave the framework of first-order logic, but we remain in the framework of positive logic. Another interesting example is the positive theory of existentially closed exponential fields (ECEF), introduced by Haykazyan and Kirby.

There has been a lot of recent work on the class of NSOP1 theories for first-order logic. The natural independence relation in this class is given by Kim-independence. We have generalised the work on Kim-independence to the setting of positive logic. In this talk I will explain the challenges that positive logic presents us and how we solve them. Our result can then be summarised as a Kim-Pillay style theorem: a thick positive theory is NSOP1 if and only if there is a nice enough independence relation, and in this case the independence relation is given by Kim-dividing.

Haykazyan and Kirby proved that ECEF has a nice enough independence relation and showed that it is thus NSOP1. So our theorem applies and confirms that this independence relation is given by Kim-dividing. The operation of adding hyperimaginaries as parameters preserves the NSOP1 property. So in particular, if we start with an NSOP1 first-order theory and we add hyperimaginaries then our theorem still applies.

In this note we translate standard tools and arguments in model theory to the framework of finitely short AECats. In particular we prove that a form of compactness holds. From this we then get some standard tools for manipulating and building indiscernible sequences.

In model theory, a branch of mathematical logic, we can classify mathematical structures based on their logical complexity. This yields the so-called stability hierarchy. Independence relations play an important role in this stability hierarchy. An independence relation tells us which subsets of a structure contain information about each other, for example: linear independence in vector spaces yields such a relation.

Some important classes in the stability hierarchy are stable, simple and NSOP₁, each being contained in the next. For each of these classes there exists a so-called Kim-Pillay style theorem. Such a theorem describes the interaction between independence relations and the stability hierarchy. For example: simplicity is equivalent to admitting a certain independence relation, which must then be unique.

All of the above classically takes place in full first-order logic. Parts of it have already been generalised to other frameworks, such as continuous logic, positive logic and even a very general category-theoretic framework. In this thesis we continue this work.

We introduce the framework of AECats, which are a specific kind of accessible category. We prove that there can be at most one stable, simple or NSOP₁-like independence relation in an AECat. We thus recover (part of) the original stability hierarchy. For this we introduce the notions of long dividing, isi-dividing and long Kim-dividing, which are based on the classical notions of dividing and Kim-dividing but are such that they work well without compactness.

Switching frameworks, we generalise Kim-dividing in NSOP₁ theories to positive logic. We prove that Kim-dividing over existentially closed models has all the nice properties that it is known to have in full first-order logic. We also provide a full Kim-Pillay style theorem: a positive theory is NSOP₁ if and only if there is a nice enough independence relation, which then must be given by Kim-dividing.

The first incompleteness theorem of Kurt Gödel states that a theory in which we can develop most of modern arithmetic is incomplete. We will take a look at such a theory: Peano Arithmetic (PA). We will develop the tools to formulate a sentence that essentially asserts in PA that it is not provable. Then we use this sentence to prove both Gödel's first and second incompleteness theorems, where the second states that PA cannot prove its own consistency. To prove Gödel's first incompleteness theorem also for consistent extensions of PA we will use Rosser sentences. These are sentences that are equivalent in PA to the assertion that a disproof of them occurs before any proof of them. After developing the necessary technical tools, we prove that Rosser sentences need not to be all provably equivalent but there are constructions where they are (after a paper by Guaspari and Solovay).