Forthcoming events in this series


Thu, 06 Jun 2013
11:00
SR2

Positivity Problems for Linear Recurrence Sequences

Ben Worrell
(Oxford)
Abstract

 We consider two decision problems for linear recurrence sequences (LRS) 
over the integers, namely the Positivity Problem (are all terms of a given 
LRS positive?) and the Ultimate Positivity Problem (are all but finitely 
many terms of a given LRS positive?). We show decidability of both 
problems for LRS of order 5 or less, and for simple LRS (i.e. whose 
characteristic polynomial has no repeated roots) of order 9 or less. Our 
results rely on on tools from Diophantine approximation, including Baker's 
Theorem on linear forms in logarithms of algebraic numbers. By way of 
hardness, we show that extending the decidability of either problem to LRS 
of order 6 would entail major breakthroughs on Diophantine approximation 
of transcendental numbers.

This is joint with work with Joel Ouaknine and Matt Daws.

Thu, 23 May 2013
11:00
SR2

'Model completeness and henselianity'

Franziska Jahnke
(U.of Muenster)
Abstract

 A classical question in the model theory of fields is to find out which fields are model complete in the language of rings. It turns out that all well-known examples of model complete fields are quite rigid when it comes to henselianity. We discuss some first results which indicate that in residue characteristic zero, definable henselian valuations prevent model completeness.

Thu, 21 Feb 2013
11:00
SR1

"Small rigid subsets of the reals"

Will Brian
(Oxford)
Abstract

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.

Thu, 31 Jan 2013
11:00
SR1

"Henselianity as an elementary property".

Franziska Jahnke
(Oxford)
Abstract

 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, 25 Oct 2012
11:00
SR1

"Valued fields, integration: future and past directions."

Raf Cluckers
(Lille/Leuven)
Abstract

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, 11 Oct 2012
11:00
SR1

``Relative CM-triviality and interpretable groups in the bad field''

Frank Wagner
(Lyon)
Abstract

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, 20 Oct 2011
11:00
SR2

"Motivic Integration and counting conjugacy classes in algebraic groups over number fields"

Jamshid Derakhshan
(Oxford)
Abstract

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, 10 Mar 2011
11:00
SR2

"Model theoretic properties of S-acts and S-poset".

L.Shaheen
(Sheffield)
Abstract

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.