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

5. Hilbert’s Tenth Problem for Subrings of $\mathbb Q$

    1. Problem 5.2.

      [Hector Pasten] Is there a diophantine subset $X$ of $\mathbb Q$ such that $\sup\{x\mid x\in X\}$ is transcendental?
        • Problem 5.3.

          [Florian Pop] Let $X/\mathbb Q$ be a variety, and let $\{Y_a\}_{a\in A}$ be a set of uniformly definable subsets of $X$.

          1. Is $\overline{Y_a(\mathbb Q)} = Y_a(\mathbb R)$?
          2. Does this imply that $\mathbb Z$ is not diophantine in $\mathbb Q$?
            • Problem 5.6.

              What is the structure of HTP for big rings in $\mathbb Q$ under $\leq_T$? (Here, “big rings" mean rings where infinitely many primes are inverted.)

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