Past Advanced Class Logic

12 March 2015
11:00
Jamshid Derakhshan
Abstract

 This is joint work with Angus Macintyre. We prove a general model-completeness theorem for Henselian valued fields
stating that a Henselian valued field of characteristic zero with value group a Z-group and with finite ramification is model-complete in the language of rings provided that its residue field is model-complete. We apply this to extensions of p-adic fields showing that any finite or infinite extension of p-adics with finite ramification is model-complete in the language of rings.

  • Advanced Class Logic
19 February 2015
11:00
Philip Dittman
Abstract

Motivated by an open conjecture in anabelian geometry, we investigate which arithmetic properties of the rationals are encoded in the absolute Galois group G_Q. We give a model-theoretic framework for studying absolute Galois groups and discuss in what respect orderings and valuations of the field are known to their first-order theory. Some questions regarding local-global principles and the transfer to elementary extensions of Q are raised.

  • Advanced Class Logic
12 February 2015
11:00
Chris Heunen
Abstract

Everything measurable about a quantum system, as modelled by a noncommutative operator algebra, is captured by its commutative subalgebras. We briefly survey this programme, and zoom in one specific incarnation: any bilinear associative function on the set of n-by-n matrices over a field of characteristic not two, that makes the same vectors orthogonal as ordinary matrix multiplication and gives the same trace as ordinary matrix multiplication, must in fact be ordinary matrix multiplication (or its opposite). Model-theoretic questions about the hypotheses and scope of this theorem are raised.

  • Advanced Class Logic
13 November 2014
11:00
Robert Leek
Abstract

In this talk, I will introduce an internal, structural 
characterisation of certain convergence properties (Fréchet-Urysohn, or 
more generally, radiality) and apply this structure to understand when 
Stone spaces have these properties. This work can be generalised to 
certain Zariski topologies and perhaps to larger classes of spaces 
obtained from other structures.

  • Advanced Class Logic

Pages