Model theory and related topics
University of Manchester, Department of Mathematics
3-7 July, 2023
Schedule
Monday, 3 July
9:50-10:00 Opening Remarks
10:00-11:00 Anand Pillay - Picard-Vessiot extensions, linear differential algebraic groups, and their torsors
11:00-11:30 Coffee-Tea break
11:30-12:30 Jonathan Kirby - Quasiminimality of Complex Powers
12:30-14:00 Lunch
14:00-15:00 Francoise Point - On definable groups and fields in certain topological fields equipped with a generic derivation
15:00-15:30 Coffee-Tea break
15:30-16:30 Piotr Kowalski - Galois actions of finitely generated groups rarely have model companions
16:30-18:30 Reception
Tuesday, 4 July
10:00-11:00 Philipp Hieronymi - D-minimality and related tameness notions
11:00-11:30 Coffee-Tea break
11:30-12:30 Alexi Block Gorman - Expansions by automatic sets: Real vs. Natural Numbers
12:30-14:00 Lunch
14:00-15:00 Ayhan Gunaydin - Expanding the (Ordered) Additive Group of Integers by Beatty Sequences
15:00-15:30 Coffee-Tea break
15:30-16:30 Rahim Moosa - Invariant rational functions and translation varieties
17:00-18:00 Poster session
18:15- Small reception followed by informal dinner
Wednesday, 5 July
10:00-11:00 Zoe Chatzidakis - Measures on perfect PAC fields
11:00-11:30 Coffee-Tea break
11:30-12:30 James Freitag - Applications of binding groups
12:30-13:00 Neer Bhardwaj - Approximate Pila-Wilkie type counting for complex analytic sets
13:00- Lunch and free afternoon
Thursday, 6 July
10:00-11:00 Angus Macintyre - A variety of logical results about the residue rings M/n for M\models PA and n \in M
11:00-11:30 Coffee-Tea break
11:30-12:30 Franziska Jahnke - An Ax-Kochen/Ershov principle for deeply ramified fields
12:30-14:00 Lunch
14:00-15:00 Sylvy Anscombe - Fragments of theories of fields and transfer of existential decidability
15:00-15:30 Coffee-Tea break
15:30-16:30 Mariana Vicaria - An Imaginary Ax-Kochen/ Ershov principle: the equicharacteristic zero case (online)
16:45- Yet another small reception
Friday, 7 July
10:00-11:00 Jan Dobrowolski - Generic automorphisms and the Intermediate Value Property
11:00-11:30 Coffee-Tea break
11:30-12:30 Patrick Speissegger - Nested pfaffian chains
12:30 End of meeting