Direct twisted Galois stratification

DOI10.1016/J.APAL.2017.07.002MaRDI QIDQ1676327zbMATH OpenOpenAlexFDO

Authors Ivan Tomašić

Publication date 6 November 2017

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.8066

zbMATH Keywords

ACFAdifference schemeFrobenius automorphismGalois formulaGalois stratification

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Varieties over finite and local fields (11G25) Difference algebra (12H10) Model theory of fields (12L12) Finite ground fields in algebraic geometry (14G15)

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

Cites work

• A Chevalley theorem for difference equations
• A twisted theorem of Chebotarev
• ACFA and measurability
• Calculability of étale cohomology modulo
• Constructions in Algebra
• Effective counting of the points of definable sets over finite fields
• Field Arithmetic
• Galois stratification and ACFA
• Generic automorphisms of fields
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 3871511 (Why is no real title available?)
• scientific article; zbMATH DE number 1992950 (Why is no real title available?)
• scientific article; zbMATH DE number 3207354 (Why is no real title available?)
• Model theory of difference fields
• Model theory of endomorphisms of separably closed fields
• Solving diophantine problems over all residue class fields of a number field and all finite fields
• The Manin-Mumford conjecture and the model theory of difference fields

Cited in

(4)

• Strongly étale difference algebras and Babbitt's decomposition
• Galois stratification and ACFA
• Algorithms determining finite simple images of finitely presented groups
• Effective difference elimination and nullstellensatz

This page was built for publication: Direct twisted Galois stratification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1676327)