Direct twisted Galois stratification
Logic
2017-07-20 v2 Algebraic Geometry
Abstract
The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.
Cite
@article{arxiv.1412.8066,
title = {Direct twisted Galois stratification},
author = {Ivan Tomašić},
journal= {arXiv preprint arXiv:1412.8066},
year = {2017}
}