SEEMOD Workshop 11

SEEMOD is South and East of England Model Theory network, connecting Cambridge, University of East Anglia, Imperial College, Oxford and Queen Mary University of London.

When and where

The 11th SEEMOD Workshop will be held on 30 March 2022 at the University of East Anglia in the School of Mathematics. The talks will take place in room S0.31, and lunch and the break will be in room S1.20.

There is some travel information available here. The easiest public transport option is to take the train to Norwich station and then take the bus from there: blue line 25 or 26. Once on campus, the School of Mathematics is located in the Science building.

Registration and funding

If you intend to come, please email Vahagn Aslanyan. We will provide lunch so this is to have approximate numbers. Please also let him know of any particular dietary requirements. Some money is available, particularly for PhD students, for travel expenses and to cover additional caring costs (e.g. childcare). Please also contact Vahagn if you would like to claim expenses.


Anna Dmitrieva. Extensions of Z-group domains.

Given an algebraically closed field of characteristic zero with a surjective exponential map, it turns out that its kernel has to be elementary equivalent to the group of integers with the constant one. We call such structures Z-groups. As the first order theory of Z-groups is well studied, there exists a thorough classification of its models. However, in our case the kernel is not only a Z-group, but also an integral domain. In this talk we will discuss the general classification of Z-groups, the conditions under which a Z-group can be an integral domain and possible extensions of these Z-group domains.

Mirna Džamonja. Reasonable infinite structures.

A classical conclusion about the interaction between the combinatorial properties of infinite sets or models versus the finite ones, is that there is basically no connection, or if there is then it is an existential connection given by the compactness theorem for the first order logic. For example, one can prove the finite Ramsey theorem by using the infinite one and applying compactness. The connection in the other direction, building from our knowledge of the finite to say something about the infinite, is quite more mysterious.

Yet, there is a trick, which consists of looking at some subclass of infinite structures, where we know exactly how the structure was built from smaller, finite, pieces.For example, in model theory there is quite a lot of knowledge about pseudofinite structures, which are basically ultraproducts of finite structures. There is also a body of knowledge about structures constructed some version of Fraîssé limit, including the Hrushovski constructions.

In this talk we shall discuss another type of 'reasonable' infinite objects, which can be seen as being obtained from a family of finite structures organised along a simplified morass (an object that exists just in ZFC), to obtain an object of size $\aleph_1$.

Francesco Gallinaro. On Some Systems of Equations in Abelian Varieties.

Zilber's Quasiminimality Conjecture predicts that all subsets of the complex numbers that are definable in the language of rings expanded by a symbol for the exponential function are countable or cocountable. Building on Zilber's work, Bays and Kirby have proved that the Quasiminimality Conjecture would follow from the Exponential-Algebraic Closedness Conjecture, also due to Zilber, which predicts sufficient conditions for systems of exponential polynomial equations to be solvable in the complex numbers. Model-theoretic properties of other analytic functions, such as the exponential maps of semiabelian varieties, can be investigated along the same lines: establishing that some systems of equations are solvable would imply a strong tameness property for definable sets in the corresponding structures. In this talk I will discuss these conjectures, the interplay between them, and a specific case in the setting of abelian varieties, using homology and cohomology to show the existence of solutions of a certain class of systems.

Antonino Iannazzo. Differential Spectrum.

In joint work with Ivan Tomasic, we use methods of categorical logic to construct the classifying topos of differential rings and obtain the correct notion of the 'differential spectrum'.

Brian Tyrrell. Further afield and further, a field: some remarks on undecidability.

A theory $T$ is finitely undecidable iff every finite(ly axiomatised) subtheory of $T$ is undecidable. What fields have this property? Is it common? Is it useful? What can a single field sentence even express? I will partially answer these questions, and might convince you to try answering them yourself.



All talks are in S0.31, lunch and the break are in S1.20.
12:30 - 13:30Arrival and lunch
13:30 - 14:20Brian Tyrrell
14:20 - 15:10Mirna Džamonja
15:10 - 15:30Antonino Iannazzo
15:30 - 16:00Tea / coffee break
16:00 - 16:20Anna Dmitrieva
16:20 - 17:10Francesco Gallinaro
Afterwards we go for drinks and dinner at Coach and Horses near the train station. For any cyclists it is probably easiest to park their bikes at the station.


This meeting is organised by: