We discuss the connections and differences between the ZFC set theory and univalent foundations and answer the above question in the negative.

# Past Logic Seminar

The talk is based on my joint work with Anand Pillay and Tomasz Rzepecki.

I will describe some connections between various objects from topological dynamics associated with a given first order theory and various Galois groups of this theory. One of the main corollaries is a natural presentation of the closure of the neutral element of the Lascar Galois group of any given theory $T$ (this closure is a group sometimes denoted by $Gal_0(T)$) as a quotient of a compact Hausdorff group by a dense subgroup.

As an application, I will present a very general theorem concerning the complexity of bounded, invariant equivalence relations (whose classes are sometimes called strong types) in countable theories, generalizing a theorem of Kaplan, Miller and Simon concerning Borel cardinalities of Lascar strong types and also later extensions of this result to certain bounded, $F_\sigma$ equivalence relations (which were obtained in a paper of Kaplan and Miller and, independently, in a paper of Rzepecki and myself). The main point of our general theorem says that in a countable theory, any bounded, invariant equivalence relation defined

on the set of realizations of a single complete type over $\emptyset$ is type-definable if and only if it is smooth (in the sense of descriptive set theory). If time permits, I will very briefly mention more recent developments in this direction (also based on the results from the first paragraph) which will appear in my future paper with Rzepecki.

It is well known that the theory of differentially closed fields of characteristic 0 has prime models and that they are unique up to isomorphism. One can ask the same question for the theory ACFA of existentially closed difference fields (recall that a difference field is a field with an automorphism).

In this talk, I will first give the trivial reasons of why this question cannot have a positive answer. It could however be the case that over certain difference fields prime models (of the theory ACFA) exist and are unique. Such a prime model would be called a difference closure of the difference field K. I will show by an example that the obvious conditions on K do not suffice.

I will then consider the class of aleph-epsilon saturated models of ACFA, or of kappa-saturated models of ACFA. There are natural notions of aleph-epsilon prime model and kappa-prime model. It turns out that for these stronger notions, if K is an algebraically closed difference field of characteristic 0, with fixed subfield F aleph-epsilon saturated, then there is an aleph-epsilon prime model over K, and it is unique up to K-isomorphism. A similar result holds for kappa-prime when kappa is a regular cardinal.

None of this extends to positive characteristic.

Let k be a field of characteristic zero and K=k((t)). Semi-algebraic sets over K are boolean combinations of algebraic sets and sets defined by valuative inequalities. The associated Grothendieck ring has been studied by Hrushovski and Kazhdan who link it via motivic integration to the Grothendieck ring of varieties over k. I will present a morphism from the former to the Grothendieck ring of motives of rigid analytic varieties over K in the sense of Ayoub. This allows to refine the comparison by Ayoub, Ivorra and Sebag between motivic Milnor fibre and motivic nearby cycle functor.

Hilbert's Nullstellensatz asserts the existence of a complex point satisfying lying on a given variety, provided there is no (ideal-theoretic) proof to the contrary.

I will describe an analogue for curves (of unbounded degree), with respect to conditions specifying that they lie on a given smooth variety, and have homology class

near a specified ray. In particular, an analogue of the Lefschetz principle (relating large positive characteristic to characteristic zero) becomes available for such questions.

The proof is very close to a theorem of Boucksom-Demailly-Pau-Peternell on moveable curves, but requires a certain sharpening. This is part of a joint project with Itai Ben Yaacov, investigating the logic of the product formula; the algebro-geometric statement is needed for proving the existential closure of $\Cc(t)^{alg}$ in this language.

Globally Valued Fields, studied jointly with E. Hrushovski, are a formalism for fields in which the sum formula for valuations holds, such as number fields or function fields of curves. They form an elementary class (in continuous first order logic), and model-theoretic questions regarding this class give rise to difficult yet fascinating geometric questions.

I intend to present « Lyon school » approach to studying GVFs. This consists of reducing as much as possible to local considerations, among other things via the "fullness" axiom.

The talk will focus on results of two related strands of research undertaken by the speaker. The first is a model of quantum mechanics based on the idea of 'structural approximation'. The earlier paper 'The semantics of the canonical commutation relations' established a method of calculation, essentially integration, for quantum mechanics with quadratic Hamiltonians. Currently, we worked out a (model-theoretic) formalism for the method, which allows us to

perform more subtle calculations, in particular, we prove that our path integral calculation produce correct formula for quadratic Hamiltonians avoiding non-conventional limits used by physicists. Then we focus on the model-theoretic analysis of the notion of structural approximation and show that it can be seen as a positive model theory version of the theory of measurable structures, compact domination and integration (p-adic and adelic).

Groups which are "attached" to theories of fields, appearing in models of the theory

as the automorphism groups of intermediate fields fixing an elementary submodel are called geometrically represented.

We will discuss the concept ``geometric representation" in the case of pseudo finite fields. Then will show that any group which is geometrically represented in a complete theory of a pseudo-finite field must be abelian.

This result also generalizes to bounded PAC fields. This is joint work with Zoe Chatzidakis.

Motivated by the Dixmier-Moeglin equivalence, which belongs to the realm of algebra representations, we look at a differential version of this equivalence for algebraic D-groups, which belong to the realm of finite Morley rank groups in differentially closed fields. We will see how the proof of this equivalence reduces to a standard model-theoretic fact (on binding groups). Time permitting we will present an application to Hopf-Ore extensions. This is joint work with J. Bell and R. Moosa.

We consider the differentiability of definable functions in tame expansions

of algebraically closed valued fields.

As the Frobenius inverse shows such a function may be nowhere

differentiable.

We prove differentiability almost everywhere in valued fields of

characteristic 0

that are C-minimal, definably complete and such that, in the valuation

group,

definable functions are strongly eventually linear.

This is joint work with Pablo Cubides-Kovacsics.