Title of article :
Geometric axioms for existentially closed Hasse fields
Author/Authors :
Kowalski، نويسنده , , Piotr، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 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
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
