Journal article

### The Elementary Theory of the Frobenius Automorphisms

Abstract:

A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted in Frobenius difference fields with $p$ or $m$ tending to infinity. In particular, a decision procedure is found to determine when a sentence is true in almost every Frobenius difference field. This generalizes Cebotarev's density theorem and Weil's Riema...

Publication status:
Not published
Peer review status:
Not peer reviewed

### Access Document

Files:
• (Author's original, pdf, 1.1MB)

### Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Mathematical Institute
Role:
Author
Journal:
arXiv
Publication date:
2004-06-24
Source identifiers:
648761
Keywords:
Pubs id:
pubs:648761
UUID:
uuid:f8341253-3d79-4b1b-92e9-7294026decff
Local pid:
pubs:648761
Deposit date:
2017-01-13