Abstract:We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential first-order definition in $K$ with $3$ quantifiers.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the definition problem of the integer ring \( \mathbb{Z} \) in the rational number field \( \mathbb{Q} \), specifically, to describe the integer ring \( \mathbb{Z} \) by first - order logic formulas. More broadly, the author explores how to define the \( S \)-integer ring in the global field \( K \) with fewer quantifiers.
### Specific problem description:
1. **First - order existential definition of the integer ring \( \mathbb{Z} \)**:
- A long - unsolved problem is: whether there exist a natural number \( m \) and a polynomial \( F\in\mathbb{Q}[X, Y_1,\ldots, Y_m] \) such that
\[
\mathbb{Z}=\{x\in\mathbb{Q}\mid\exists y_1,\ldots, y_m\in\mathbb{Q}:F(x, y_1,\ldots, y_m) = 0\}.
\]
- This problem is equivalent to asking whether the integer ring \( \mathbb{Z} \) can be described with a finite number of existential quantifiers.
2. **Existential definition of the complement \( \mathbb{Q}\setminus\mathbb{Z} \)**:
- Koenigsmann has proved that \( \mathbb{Q}\setminus\mathbb{Z} \) can be defined with existential quantifiers, that is, there exist a natural number \( m \) and a polynomial \( F\in\mathbb{Q}[X, Y_1,\ldots, Y_m] \) such that
\[
\mathbb{Z}=\{x\in\mathbb{Q}\mid\forall y_1,\ldots, y_m\in\mathbb{Q}:F(x, y_1,\ldots, y_m)\neq 0\}.
\]
- This means that \( \mathbb{Z} \) can be defined with a universal quantifier, and Koenigsmann's method can be generalized to the \( S \)-integer ring in any global field \( K \).
3. **Reducing the number of quantifiers**:
- The main contribution of this paper is to show how to reduce the number of quantifiers to 10. Specifically, the author proves that for any global field \( K \) and valuations on a finite set \( S \), there exists a polynomial \( F\in K[X, Y_1,\ldots, Y_{10}] \) such that the \( S \)-integer ring \( O_S \) can be expressed as:
\[
O_S=\{x\in K\mid\forall y_1,\ldots, y_{10}\in K:F(x, y_1,\ldots, y_{10})\neq 0\}.
\]
### Main results:
- **Theorem**: For any global field \( K \) and valuations on a finite set \( S \), there exists a polynomial \( F\in K[X, Y_1,\ldots, Y_{10}] \) such that the \( S \)-integer ring \( O_S \) can be defined by a universal first - order formula with 10 quantifiers.
- **Corollary**: This result shows that the \( \forall^9\exists^{10} \)-theory of \( \mathbb{Q} \) is undecidable, that is, there is no algorithm that can determine whether a given \( x\in\mathbb{Q} \) satisfies certain conditions.
### Research motivation:
- The study of the number of quantifiers has not only theoretical significance but also is related to Hilbert's tenth problem. If \( \