Advanced Class Logic (past)

Thu, 21/02
11:00
Will Brian (Oxford) Advanced Class Logic Add to calendar SR1

A topological space is called rigid if its only autohomeomorphism is the identity map. Using the Axiom of Choice it is easy to construct rigid subsets of the real line R, but sets constructed in this way always have size continuum. I will explore the question of whether it is possible to have rigid subsets of R that are small, meaning that their cardinality is smaller than that of the continuum. On the one hand, we will see that forcing can be used to produce models of ZFC in which such small rigid sets abound. On the other hand, I will introduce a combinatorial axiom that can be used to show the consistency with ZFC of the statement "CH fails but every rigid subset of R has size continuum". Only a working knowledge of basic set theory (roughly what one might remember from C1.2b) and topology will be assumed.

Wed, 13/02
11:00
Will Anscombe (Oxford) Advanced Class Logic Add to calendar SR1
Thu, 31/01
11:00
Franziska Jahnke (Oxford) Advanced Class Logic Add to calendar SR1

 Following Prestel and Ziegler, we will explore what it means for a field
to be t-henselian, i.e. elementarily equivalent (in the language of
rings) to some non-trivially henselian valued field. We will discuss
well-known as well as some new properties of t-henselian fields.

Thu, 24/01
11:00
Jamshid Derakhshan (Oxford) Advanced Class Logic Add to calendar SR1

This is joint work with Angus Macintyre. We study model-theoretic properties of 
the ring of adeles, the hyperring of adele classes (studied by Connes-Consani), 
and residual hyperfields of valued fields (in the sense of Krasner).

Thu, 22/11/2012
11:00
Levon Haykazian (Oxford) Advanced Class Logic Add to calendar SR1
Thu, 08/11/2012
11:00
Bernhard Elsner (Oxford) Advanced Class Logic Add to calendar SR1
Thu, 01/11/2012
11:00
Francisko Simkevich Advanced Class Logic Add to calendar SR1
Thu, 25/10/2012
11:00
Raf Cluckers (Lille/Leuven) Advanced Class Logic Add to calendar SR1

I'll sketch some context for future and past research around valued fields
and motivic integration, from a model theoretic viewpoint, leaving out technical details. 
The talk will be partly conjectural.

Thu, 18/10/2012
11:00
Ugur Efem (Oxford) Advanced Class Logic Add to calendar SR1
Thu, 11/10/2012
11:00
Frank Wagner (Lyon) Advanced Class Logic Add to calendar SR1

I shall present a geometric property valid in many Hrushovski
amalgamation constructions, relative CM-triviality, and derive
consequences on definable groups: modulo their centre they are already
products of groups interpretable in the initial theories used for the
construction. For the bad field constructed in this way, I shall
moreover classify all interpretable groups up to isogeny.

Thu, 01/12/2011
11:00
Austin Yim (Oxford) Advanced Class Logic Add to calendar SR2
Thu, 17/11/2011
11:00
Adam Harris (Oxford) Advanced Class Logic Add to calendar SR2
Thu, 10/11/2011
11:00
Adam Harris (Oxford) Advanced Class Logic Add to calendar SR2
Thu, 27/10/2011
11:00
Vincenzo Mantova (Pisa and Oxford) Advanced Class Logic Add to calendar SR2
Thu, 20/10/2011
11:00
Jamshid Derakhshan (Oxford) Advanced Class Logic Add to calendar SR2

This is joint work with Uri Onn. We use motivic integration to get the growth rate of the sequence consisting of the number of conjugacy classes in quotients of G(O) by congruence subgroups, where $G$ is suitable algebraic group over the rationals and $O$ the ring of integers of a number field.

The proof uses tools from the work of Nir Avni on representation growth of arithmetic groups and results of Cluckers and Loeser on motivic rationality and motivic specialization.

Thu, 26/05/2011
11:00
B.Zilber (Oxford) Advanced Class Logic Add to calendar L3
Thu, 12/05/2011
11:00
B.Zilber (Oxford) Advanced Class Logic Add to calendar L3
Thu, 05/05/2011
12:00
Lee Butler (Bristol) Advanced Class Logic Add to calendar L3
Thu, 10/03/2011
11:00
L.Shaheen (Sheffield) Advanced Class Logic Add to calendar SR2

An S-act over a monoid S is a representation of a monoid by tranformations of a set, analogous to the notion of a G-act over a group G being a representation of G by bijections of a set. An S-poset is the corresponding notion for an ordered monoid S.

Thu, 03/03/2011
11:00
Adam Harris (Oxford) Advanced Class Logic Add to calendar SR2
Syndicate content