DECIDABLE ALGEBRAIC FIELDS

DOI10.1017/jsl.2017.10zbMath1387.12008arXiv1502.03885OpenAlexW2659154862MaRDI QIDQ4977216

Moshe Jarden, Alexandra Shlapentokh

Publication date: 3 August 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

decidable theoryrecursive subsets

Mathematics Subject Classification ID

Decidability and field theory (12L05) Undecidability and degrees of sets of sentences (03D35) Basic properties of first-order languages and structures (03C07)

Related Items (3)

Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Nondefinability of rings of integers in most algebraic fields ⋮ PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ

Cites Work

• Galois stratification over Frobenius fields
• Formally \(p\)-adic fields
• The elementary theory of algebraic fields of finite corank
• Mehrfach perfekte Körper
• Field Arithmetic
• Théorème d'irréductibilité de Hilbert effectif
• Model Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: DECIDABLE ALGEBRAIC FIELDS