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

Submission date: 27 December 2014.


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: