Direct twisted Galois stratification
| Autor: | Tomašić, Ivan |
|---|---|
| Rok vydání: | 2014 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable. |
| Databáze: | arXiv |
| Externí odkaz: |
|