[FOM] Workshop Definability in Number Theory

Jeroen Demeyer dnt at cage.ugent.be
Sat Apr 3 17:53:26 EDT 2010

We announce the workshop "Definability in Number Theory" at Ghent
University (Belgium) from 30 August to 4 September.

The main topic of the workshop 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

More information can be found at the website http://cage.ugent.be/dnt

Jeroen Demeyer

More information about the FOM mailing list