MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 818

Preprint Number 818

Previous Next Preprint server


818. Ivan Tomašić
Direct twisted Galois stratification
E-mail:

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.


Last updated: January 15 2015 14:16 Please send your corrections to: