paper

Direct twisted Galois stratification

arXiv:1412.8066

Abstract

The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.