Model Theory Days May 21-22, 2015


All talks are in lecture room C124 

Thursday May 21st

10.15-11.25  Andres Villaveces: Model theory for modular invariants.

13.00-14.10  Jonathan Kirby: Examples of quasiminimal classes.

Abstract: I will explain the framework of quasiminimal structures and quasiminimal classes, and give some basic examples and some open questions. Then I will explain some joint work with Martin Bays in which we have constructed variants of the pseudo-exponential fields (originally due to Boris Zilber) which are quasimininal and discuss progress towards the problem of showing that complex exponentiation is quasiminimal.

14.20-15.30  Boris Zilber: Geometric dualities and model theory.

Abstract: Geometries can be given in a direct semantic way, say as a complex  or real manifold, or more abstractly, by corresponding  'co-ordinate' algebras. A duality of this kind becomes highly non-trivial in cases of schemes of arithmetic type and for non-commutative co-ordinate algebras and C*-algebras. I will discuss these issues from model-theoretic perspective. A detailed analysis has been worked out for the canonical commutation relation(s) underlying quantum mechanics. Some applications will be mentioned.

Friday May 22nd

10.15-11.25  Boris Zilber: Geometric dualities and model theory.

13.00-14.10 Misha Gavrilovich: The lifting property: a common pattern for definitions in topology and finite group theory.

Abstract: We observe that some natural mathematical definitions are lifting properties relative to simplest counterexamples, namely the definitions of sujectivity and injectivity of maps; as well as of being connected, being compact and being sequentially compact; the separation axioms T0 and T1 in topology, having dense image, induced (pullback) topology; the properties of a finite group being abelian, perfect, soluble or being of order prime to p. This lets us express the statement of Feit-Thompson theorem (that a finite group with odd number of elements is necessarily soluble) as an implication between lifting properties.

We also offer a brief speculation that these observations may lead to a weaker than usual logic (deductive calculus) which expresses these properties.

  • No labels