Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-06T09:47:37.566Z Has data issue: false hasContentIssue false

ON DIFFERENCE FIELDS WITH QUANTIFIER ELIMINATION

Published online by Cambridge University Press:  28 November 2001

RAHIM MOOSA
Affiliation:
Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 West Green Street, Urbana, Illinois 61801, USA; [email protected]
Get access

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
Copyright
© The London Mathematical Society 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)