Abstract:We give a characterization of finitely ramified $\omega$-pseudo complete valued fields of mixed characteristic $(0, p)$, with fixed residue field $k$ and value group $G$ of cardinality $\aleph_{1}$, in terms of a Hahn-like construction over the Cohen field $C(k)$, modulo the Continuum Hypothesis. This is a generalization of results due to Ax and Kochen in '65 for formally $p$-adic fields and by Kochen in '74 for unramified valued fields with perfect residue field. We consider a more general context of finitely ramified valued fields of mixed characteristic with arbitrary residue field and a cross-section.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: how to characterize finite ramified mixed - characteristic valued fields with specific properties by a method similar to the Hahn construction. Specifically, the paper focuses on those finite ramified $\omega$-pseudo - complete valued fields with mixed - characteristic (0, p), a fixed residue field $k$ and a value group $G$ (whose cardinality is $\aleph_1$). These valued fields are described by a method similar to the Hahn construction on the Cohen ring $C(k)$, where the continuum hypothesis is assumed.
### Background of the paper
- **Formal $p$-adic valued fields**: Ax and Kochen gave a complete axiomatization of formally $p$-adic valued fields in 1965. Such valued fields have a $Z$-group as the value group, the residue field is $F_p$, and $v(p)$ is the smallest positive element in the value group.
- **The "pathology" of informal $p$-adic valued fields**: For any finite extension $L$ of $Q_p$, there exists a valued field that is elementarily equivalent to $L$, but this valued field has no subfield that is elementarily equivalent to $Q_p$. This problem can be avoided by considering $\omega$-pseudo - complete formal $p$-adic valued fields, because these valued fields contain a subfield isomorphic to the field of $p$-adic numbers.
### Goals of the paper
The main goal of the paper is to extend the results of Ax and Kochen and give a more general characterization method applicable to valued fields with the following properties:
- Mixed - characteristic (0, p)
- Fixed residue field $k$
- Value group $G$, whose smallest convex subgroup is $Z$
- Finite ramification
- $\omega$-pseudo - complete
### Main results
- **Theorem 4.14**: Under the assumption of the continuum hypothesis, any finite ramified $\omega$-pseudo - complete Henselian valued field with the above properties can be characterized by a method similar to the Hahn construction on $C(k)$.
- **Corollary 4.15**: This construction method ensures that these valued fields are the same as $Q_p$ in the sense of elementary equivalence.
### Method overview
- **Hahn - like construction**: By defining a method similar to the Hahn construction, using a 2 - cocycle $\beta$ to define the multiplication operation, thereby constructing a valued field $K(t^H,\beta)$.
- **Value group and residue field**: By analyzing the properties of the value group $G$ and the residue field $k$, ensure that the constructed valued field satisfies the required properties.
- **Pseudo - completeness**: Prove that the constructed valued field is $\omega$-pseudo - complete, thereby ensuring its uniqueness in the sense of elementary equivalence.
### Conclusion
By introducing a method similar to the Hahn construction, the paper successfully characterizes an important class of finite ramified mixed - characteristic valued fields. These valued fields have wide applications in number theory and algebraic geometry. This result not only extends the classical work of Ax and Kochen, but also provides new tools and methods for studying a wider range of valued fields.