In this seminar, I aim to go through the "main prequel" of the talk I gave during the first Advanced Class of this term, and provide a "simple" answer to Abraham Robinson's original question that he posed in 1973 regarding the (un)decidability of finitely generated extensions of undecidable fields. I will provide a quick introduction to, and some classical results from, the mathematical discipline of Field Arithmetic, and using these results show that one can construct undecidable (large) fields that have finitely generated extensions which are decidable. Of course, as I had mentioned in the advanced class, a counterexample to the "simple" question that I have been working on unfortunately does not seem to lie within this class of large fields. If time permits, I will provide a sneak peek into the possible "sequel" by briefly talking about what the main issue of solving the "simple" problem is, and how a "hide-and-seek" method might come in handy in tackling that problem.

# Past Junior Logic Seminar

I will talk about Jochen’s theorem about the existence of some non-trivial Henselian valuation given by investigating the absolute Galois group.

In the talk I will give an introduction to the Manin-Mumford conjecture and to the Pila-Zannier strategy for attacking it in the case of products of elliptic curves. if the permits it, I will also speak about how this same strategy has allowed to attack the analogous André-Oort conjecture for Shimura Varieties of abelian type.

In quite an elementary, hands-on talk, I will discuss some Ax-Lindemann type results in the setting of modular functions. There are some very powerful results in this area due to Pila, but in nonclassical variants we have only quite weak results, for a rather silly reason to be discussed in the talk.

In algebraic and arithmetic geometry, there is the ubiquitous notion of a moduli space, which informally is a variety (or scheme) parametrising a class of objects of interest. My aim in this talk is to explain concretely what we mean by a moduli space, going through the functor-of-points formalism of Grothendieck. Time permitting, I may also discuss (informally!) a natural obstruction to the existence of moduli schemes, and how one can get around this problem by taking a 2-categorical point of view.

We outline some concepts and issues around decidability in valued fields of positive characteristic.

Starting from Hilbert's 10th problem, I will explain how to characterise the set of integers by non-solubility of a set of polynomial equations and discuss related challenges. The methods needed are almost entirely elementary; ingredients from algebraic number theory will be explained as we go along. No knowledge of first-order logic is necessary.