| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

Definability and decidability problems in number theory

Edited by org.aimpl.user:cks5320@psu.edu

    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.