Generic automorphisms of fields (Q1377642)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1109923
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Generic automorphisms of fields |
scientific article; zbMATH DE number 1109923 |
Statements
Generic automorphisms of fields (English)
0 references
26 January 1998
0 references
It is shown that the theory of fields with an automorphism has a decidable model companion. In this paper, quantifier-elimination is established in a natural language. The theory is intimately connected (via fixed fields) to Ax's theory of pseudofinite fields and analogues are obtained for most of Ax's classical results. Some indication is given of the connection to nonstandard Frobenius maps.
0 references
Lefschetz principle
0 references
algebraically closed field
0 references
existentially closed fields
0 references
automorphism
0 references
model companion
0 references
quantifier-elimination
0 references
pseudofinite fields
0 references
nonstandard Frobenius maps
0 references
0.8134620189666748
0 references
0.8111734986305237
0 references
0.7966337203979492
0 references
0.7906463742256165
0 references
