Undecidability of some elementary theories over PAC fields

DOI10.1016/0168-0072(86)90003-5zbMath0591.03021OpenAlexW1983683728MaRDI QIDQ1074575

Moshe Jarden, Gregory L. Cherlin

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90003-5

zbMATH Keywords

arithmeticabsolute Galois groupfieldalgebraic numbernormalized Haar measurepseudo algebraically closed fieldtorsion points on elliptic curves

Mathematics Subject Classification ID

Decidability and field theory (12L05) Undecidability and degrees of sets of sentences (03D35)

Related Items (3)

Undecidability of the theory of finite nearfields ⋮ On von Neumann regular rings with an automorphism ⋮ UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Galois stratification over Frobenius fields
• An analogue of Čebotarev density theorem for fields of finite corank
• Algebraic extensions of finite corank of Hilbertian fields
• The elementary theory of algebraic fields of finite corank
• Torsion points of elliptic curves over large algebraic extensions of finitely generated fields
• Roots of unity over large algebraic fields
• The elementary theory of finite fields
• Bounded statements in the theory of algebraically closed fields with distinguished automophisms.
• Diophantine Equations with Special Reference To Elliptic Curves
• Elementary Statements Over Large Algebraic Fields
• Number of Points of Varieties in Finite Fields

This page was built for publication: Undecidability of some elementary theories over PAC fields