Submission date: 27 December 2014.

Abstract:

We develop a primitive recursive quantifier elimination procedure for the theory ACFA.

Mathematics Subject Classification: Primary 03C60, 11G25. Secondary 14G10, 14G15

Keywords and phrases:

Full text arXiv 1412.8066: pdf, ps.