Copyright © 2005 Elsevier B.V. All rights reserved.
Received 11 September 2004;
revised 22 February 2005;
accepted 23 February 2005.
Communicated by A.J. Wilkie.
Available online 17 May 2005.
Abstract
We give geometric axioms for existentially closed Hasse fields. We prove a quantifier elimination result for existentially closed n-truncated Hasse fields and characterize them as reducts of existentially closed Hasse fields.
Keywords: Hasse derivation; Model companion; Prolongation






E-mail Article
Add to my Quick Links

Cited By in Scopus (1)

{“σ is an automorphism”} is an elementary class if and only if 






