直接扭曲 Galois 分层
逻辑
2017-07-20 v2 代数几何
摘要
ACFA 理论允许一个原始递归的量词消去过程。因此，它是原始递归可判定的。
引用
@article{arxiv.1412.8066,
title = {Direct twisted Galois stratification},
author = {Ivan Tomašić},
journal= {arXiv preprint arXiv:1412.8066},
year = {2017}
}