AIM Workshop: Definability and decidability problems in number theory
Month: September 2013
Date: September 9--13
Name: AIM Workshop: Definability and decidability problems in number theory
Location: American Institute of Mathematics, Palo Alto, California.
Description
This workshop, sponsored by AIM and the NSF, will be devoted to studying definability and decidability questions in number theory, more specifically over rational numbers and their algebraic extensions, as well as over rings of functions of natural interest.
Information
http://aimath.org/ARCC/workshops/definabilityinnt.html