Past Logic Seminar

19 January 2012
17:00
Zoe Chatzidakis (Paris)
Abstract
Recall that a difference field is a field with a distinguished automorphism. ACFA is the theory of existentially closed difference fields. I will discuss results on groups definable in models of ACFA, in particular when they are one-based and what are the consequences of one-basedness.
• Logic Seminar
24 November 2011
17:00
Charlotte Kestner (Oxford)
Abstract
• Logic Seminar
17 November 2011
17:00
David Evans (UEA)
Abstract
We give an exposition of some results from matroid theory which characterise the finite pregeometries arising from Hrushovski's predimension construction as the strict gammoids: a class of matroids studied in the early 1970's which arise from directed graphs. As a corollary, we observe that a finite pregeometry which satisfies Hrushovski's flatness condition arises from a predimension. We also discuss the isomorphism types of the pregeometries of countable, saturated strongly minimal structures in Hrushovski's 1993 paper and answer some open questions from there. This last part is joint work with Marco Ferreira, and extends results in his UEA PhD thesis.
• Logic Seminar
27 October 2011
17:00
Anand Pillay (Leeds)
Abstract
(Joint with Ronnie Nagloo.) I investigate algebraic relations between sets of solutions (and their derivatives) of the "generic" Painlev\'e equations I-VI, proving a somewhat weaker version of there are NO algebraic relations".
• Logic Seminar
20 October 2011
17:00
Deborah Lockett (Leeds)
Abstract
After a short introduction to homogeneous relational structures (structures such that all local symmetries are global), I will discuss some different topics relating homogeneity to homomorphisms: a family of notions of 'homomorphism-homogeneity' that generalise homogeneity; generic endomorphisms of homogeneous structures; and constraint satisfaction problems.
• Logic Seminar
13 October 2011
17:00
Alex Wilkie (Manchester)
Abstract
• Logic Seminar
30 June 2011
17:00
Thomas Scanlon
Abstract
• Logic Seminar
29 June 2011
11:00
Thomas Scanlon
Abstract
• Logic Seminar
28 June 2011
17:00
Thomas Scanlon
Abstract
• Logic Seminar
23 June 2011
17:00
Tristram de Piro
Abstract

I will discuss the application of Zariski geometries to Mordell Lang, and review the main ideas which are used in the interpretation of a field, given the assumption of non local modularity. I consider some open problems in adapting Zilber's construction to the case of minimal types in separably closed fields.

• Logic Seminar