12 Apr 2019

MSRI Connections for Women: Decidability, definability and computability in number theory

August 20, 2020 – August 21, 2020
The aim of the workshop is to discover how the problems in number theory and algebraic geometry arising from the Hilbert’s tenth problem for rationals interact with the ideas and techniques in mathematical logic, such as definability from model theory and decidability and degree-theoretic complexity from computability theory. This interaction includes various analogues of Hilbert’s tenth problem and related questions, focusing on the connections of algebraic, number-theoretic, model-theoretic, and computability-theoretic properties of structures and objects in algebraic number theory, anabelian geometry, field arithmetic, and differential algebra.