Article contents
ON DIFFERENCE FIELDS WITH QUANTIFIER ELIMINATION
Published online by Cambridge University Press: 28 November 2001
Abstract
This paper proves that a difference field (E, σ) admits quantifier elimination if and only if E is an algebraically closed field, and σ is an integer power of the Frobenius automorphism.
- Type
- NOTES AND PAPERS
- Information
- Copyright
- © The London Mathematical Society 2001
- 1
- Cited by