|
|||||
|
|
Direct twisted Galois stratification |
|
| Authors: | Ivan Tomašić |
| Affiliation: | School of Mathematical Sciences, Queen Mary University of London, London, E1 4NS, United Kingdom |
| Abstract: | The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable. |
| Keywords: | primary 03C10 12H10 secondary 11G25 14G15 Difference scheme Galois stratification Galois formula Frobenius automorphism ACFA |
| 本文献已被 ScienceDirect 等数据库收录！ | |