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