The Undecidability of Algebraic Rings and Fields

Cites Work

Undecidable theories
Definability and decision problems in arithmetic
Title not available (Why is that?)
Undecidable Rings
Kurt Hensels entscheidender Anstoß zur Entdeckung des Lokal-Global-Prinzips.
Arithmetical definability of field elements

Cited In (38)

Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\)
First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
Semantics, specification logic, and Hoare logic of exact real computation
Elementary theories of finitely generated pro-p-rings
On Diophantine definability and decidability in some infinite totally real extensions of ℚ
Uniformly defining \(p\)-Henselian valuations
Infinite finitely generated fields are biinterpretable with ℕ
Defining the integers in large rings of a number field using one universal quantifier
Finite undecidability in PAC and PRC fields
Definability of the ring of integers in some infinite algebraic extensions of the rationals
Implicit definability of subfields
Expansions of o-minimal structures by dense independent sets
Undecidability and Definability for the Theory of Global Fields
Northcott numbers for the house and the Weil height
Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory
Elementary theory of a finitely generated commutative ring
Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
Complete first-order theories of some classical matrix groups over algebraic integers
Julia Robinson numbers
Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I
Definability and decidability in infinite algebraic extensions
First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
The theory of models of bilinear mappings
Elementary equivalence of rings with finitely generated additive groups
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF
Hilbert's tenth problem for rings of rational functions
The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's
Computational complexity of sentences over fields
On mutual definability of operations on fields
Polynomial time algorithms for sentences over number fields
Defining additive subgroups of the reals from convex subsets
Self-injective regular algebras and function rings
On stable torsion-free nilpotent groups
On the model theory of higher rank arithmetic groups
Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
Uniform first-order definitions in finitely generated fields
Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ

This page was built for publication: The Undecidability of Algebraic Rings and Fields

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