Bibliography
Cite this as: AimPL: Definability and decidability problems in number theory, available at http://aimpl.org/definedecide.
Cite this as: AimPL: Definability and decidability problems in number theory, available at http://aimpl.org/definedecide.