Direct twisted Galois stratification

arxiv: 1412.8066 · v2 · pith:QHXPX4ZDnew · submitted 2014-12-27 · 🧮 math.LO · math.AG

Ivan Toma\v{s}i\'c This is my paper

classification 🧮 math.LO math.AG

keywords primitiveacfaadmitsdecidabledirecteliminationgaloisprocedure

0 comments

read the original abstract

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

This paper has not been read by Pith yet.