• 1643 - Definability and Decidability Problems in Number Theory 

      [OWR-2016-49] Workshop Report 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.