Quantifier elimination on some pseudo-algebraically closed valued fields (Q2084961)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantifier elimination on some pseudo-algebraically closed valued fields |
scientific article |
Statements
Quantifier elimination on some pseudo-algebraically closed valued fields (English)
0 references
14 October 2022
0 references
The present paper is concerned with questions of developing the model theory for pseudo-algebraically closed fields. The author proves that some theories of pseudo-algebraically closed valued fields admit quantifier elimination in the language obtained by adjoining to the language of rings some functional and predicate symbols.
0 references
quantifier elimination
0 references
pseudo-algebraically closed valued fields
0 references
transcendental extensions
0 references
separable extensions
0 references
Galois Theory
0 references
