Bookmark Saya

arXiv Open Access 2014

Direct twisted Galois stratification

Ivan Tomašić
Lihat Sumber

Abstrak

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

Topik & Kata Kunci

math.LO math.AG

Penulis (1)

I

Ivan Tomašić

Format Sitasi

APA MLA BibTeX
Tomašić, I. (2014). Direct twisted Galois stratification. https://arxiv.org/abs/1412.8066

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2014
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓