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

ag.algebraic-geometry lo.logic nt.number-theory
Start Date
2020-08-20 
End Date
2020-08-21 
Institution
MSRI 
City
Berkeley, CA 
Country
USA 
Meeting Type
conference 
Homepage
http://www.msri.org/workshops/913 
Contact Name
 

Description

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.

Problems?

If you notice a problem with this entry, please contact the curators by email.