Browsing Workshops 2016 by MFO Series ID "OWR-2016-49"
Now showing items 1-1 of 1
-
1643 - Definability and Decidability Problems in Number Theory
[OWR-2016-49] (2016) - (23 Oct - 29 Oct 2016)This workshop brought together experts working on variations of Hilbert’s Tenth Problem and more general decidability issues for structures other than the ring of integers arising naturally in number theory and algebraic geometry.