Definability and decidability problems in number theory. Abstracts from the workshop held October 23--29, 2016
Collections of abstracts of lectures (00B05) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Decidability of theories and sets of sentences (03B25) Model theory (03Cxx) Computability and recursion theory (03Dxx) Proceedings, conferences, collections, etc. pertaining to number theory (11-06) Diophantine equations (11Dxx) Arithmetic algebraic geometry (Diophantine geometry) (11Gxx) Field arithmetic (12E30) Valuations and their generalizations for commutative rings (13A18) Arithmetic problems in algebraic geometry; Diophantine geometry (14Gxx)
Summary: 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.
This page was built for publication: Definability and decidability problems in number theory. Abstracts from the workshop held October 23--29, 2016
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749544)
