Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/AMS/Regular/Main.js
| Register

Bibliography

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