Anneaux <i>p</i>-adiquement clos et anneaux de fonctions définissables (Q3984428)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Anneaux <i>p</i>-adiquement clos et anneaux de fonctions définissables |
scientific article |
Statements
Anneaux <i>p</i>-adiquement clos et anneaux de fonctions définissables (English)
0 references
27 June 1992
0 references
\(p\)-adically closed rings
0 references
definable functions
0 references
\(p\)-adic numbers
0 references
Henselian valuation rings
0 references
axiomatization
0 references
field of fractions
0 references
valuation field
0 references
ring of definable and continuous functions on a \(p\)-adic curve
0 references
variants of Ax-Kochen-Ershov principle
0 references
generalized formal power series
0 references
elimination of quantifiers
0 references
