Definability and decidability problems in number theory. Abstracts from the workshop held October 23--29, 2016
DOI10.4171/OWR/2016/49zbMATH Open1390.00105OpenAlexW2778418924MaRDI QIDQ1749544
Author name not available (Why is that?)
Publication date: 17 May 2018
Published in: Oberwolfach Reports (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4171/owr/2016/49
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to number theory (11-06) Collections of abstracts of lectures (00B05) Decidability of theories and sets of sentences (03B25) Valuations and their generalizations for commutative rings (13A18) Arithmetic problems in algebraic geometry; Diophantine geometry (14Gxx) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Field arithmetic (12E30) Diophantine equations (11Dxx) Arithmetic algebraic geometry (Diophantine geometry) (11Gxx) Computability and recursion theory (03Dxx) Model theory (03Cxx)
Related Items (1)
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)
