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.
The following people have given a talk:
Titles, abstracts and slides can be found at the schedule.
View the list of participants.
The meeting is funded by: