Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/AMS/Regular/Main.js
| Register
\newcommand{\Cat}{{\rm Cat}} \newcommand{\A}{\mathcal A} \newcommand{\freestar}{ \framebox[7pt]{$\star$} }

Definability and decidability problems in number theory

Edited by Caleb James Springer

    Sections

    1. 1. Computability
    2. 2. Complexity
    3. 3. Decidability
    4. 4. Definability
    5. 5. Hilbert’s Tenth Problem for Subrings of \mathbb Q
    6. 6. Miscellaneous
    1. Bibliography

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