Definability in Number Theory
Monday 30 August – Saturday 4 September 2010

To the memory of Graham Everest

The subject of this workshop has connections with logic, number theory and algebraic geometry.

The main topic of Definability in Number Theory is studying which sets and structures can be defined or interpreted in the existential or first-order theory of rings and fields. We are particularly interested in rings and fields which play a role in number theory. Questions about definability have important applications for (un)decidability. For example, the negative answer to Hilbert's Tenth Problem followed from the fact that all recursively enumerable sets in Z are existentially definable over Z. Another example is the fact that Z is existentially definable inside R(t), with the consequence that diophantine equations over R(t) are undecidable.

List of speakers

The following people have given a talk:

Titles, abstracts and slides can be found at the schedule.

View the list of participants.

Photos

Have a look at photos of the workshop. These photos have been made by Jeroen Demeyer, Laurent Moret-Bailly and Bert Seghers.

Scientific committee

Organising committee

Sponsors

The meeting is funded by:

FWO Vlaanderen Universiteit Gent Faculteit Wetenschappen DVMLG