Undecidability of existential theories of rings and fields: a survey (original) (raw)
Related papers
Undecidable existential theories of polynomial rings and function fields
Karim Zahidi, Thanases Pheidas
Communications in algebra, 1999
Decision problems in Algebra and analogues of Hilbert's tenth problem
… SOCIETY LECTURE NOTE SERIES, 2008
2013
On the Decidability of the Existential Theory of
Decidability of the class of all the rings : A problem of Ax
Forum of Mathematics, Sigma
2018
Hilbert's Tenth Problem for Rings of Rational Functions
Notre Dame Journal of Formal Logic, 2002
Mathematical Logic Quarterly, 2006
On Hilbert’s tenth problem over subrings of Q
2020
Diophantine Undecidability over Algebraic Function Fields over Finite Fields of Constants
Journal of Number Theory, 1996
A survey of undecidability problems of rings of totally real algebraic integers
2020
Undecidability in Function Fields of Positive Characteristic
International Mathematics Research Notices, 2009
The Hilbert’s-Tenth-Problem Operator
Israel Journal of Mathematics, 2019
Hilbert's tenth problem: diophantine classes and extensions to global fields
2005
Analogues of Hilbert's tenth problem
Model theory with Applications to Algebra and …
On the Decidability of the Existential Theory of F_p[[t]]
2007
2015
A remark over fields and domains
Diophantine Undecidability of Holomorphy Rings of Function Fields of Characteristic 0
Annales de l’institut Fourier, 2009
Undecidability in Weihrauch Degrees
Lecture Notes in Computer Science, 2010
Hilbert's Tenth Problem: Refinements and Variants
arXiv (Cornell University), 2021
From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory
2020
Decidability of the theory of addition and the Frobenius map in rings of rational functions
2021
Hilbert's tenth problem for rings of algebraic functions of characteristic 0
Journal of Number Theory, 1992
2021
Annals of Pure and Applied Logic, 2005
2019
Hilbert's Tenth Problem for solutions in a subring of Q
Deciding the Undecidable: Wrestling with Hilbert's Problems
Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
Reports on Mathematical Logic, 2022
Hilbert’s Tenth Problem and Mazur’s Conjectures in Complementary Subrings of Number Fields
Mathematical Research Letters, 2011
Elimination theory for addition and the Frobenius map in polynomial rings
The Journal of Symbolic Logic, 2004
An undecidability result for the asymptotic theory of p-adic fields
Annals of Pure and Applied Logic
Hilbert's Tenth Problem in Coq
2019
The diophantine theory of a ring of analytic functions
Journal für die reine und angewandte Mathematik (Crelles Journal), 1995