Graduate studies at Western
Notre Dame Journal of Formal Logic 43 (3):181-192 (2002)
|Abstract||We show that if R is a nonconstant regular (semi-)local subring of a rational function field over an algebraically closed field of characteristic zero, Hilbert's Tenth Problem for this ring R has a negative answer; that is, there is no algorithm to decide whether an arbitrary Diophantine equation over R has solutions over R or not. This result can be seen as evidence for the fact that the corresponding problem for the full rational field is also unsolvable|
|Keywords||diophantine problems function fields undecidability|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Alexandra Shlapentokh (2011). Defining Integers. Bulletin of Symbolic Logic 17 (2):230-251.
Leonard Lipshitz & Thanases Pheidas (1995). An Analogue of Hilbert's Tenth Problem for P-Adic Entire Functions. Journal of Symbolic Logic 60 (4):1301-1309.
Alexandra Shlapentokh (2003). Existential Definability with Bounds on Archimedean Valuations. Journal of Symbolic Logic 68 (3):860-878.
Thanases Pheidas (1994). Extensions of Hilbert's Tenth Problem. Journal of Symbolic Logic 59 (2):372-397.
Martin Davis & Hilary Putnam (1958). Reductions of Hilbert's Tenth Problem. Journal of Symbolic Logic 23 (2):183-187.
Alexandra Shlapentokh (2002). On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic. Journal of Symbolic Logic 67 (2):759-786.
G. Kreisel (1953). A Variant to Hilbert's Theory of the Foundations of Arithmetic. British Journal for the Philosophy of Science 4 (14):107-129.
Luc Bélair (1995). Anneaux de Fonctions P-Adiques. Journal of Symbolic Logic 60 (2):484-497.
Alexandra Shlapentokh (1994). Diophantine Equivalence and Countable Rings. Journal of Symbolic Logic 59 (3):1068-1095.
Thanases Pheidas & Karim Zahidi (2004). Elimination Theory for Addition and the Frobenius Map in Polynomial Rings. Journal of Symbolic Logic 69 (4):1006 - 1026.
Tim Button (2012). Spotty Scope and Our Relation to Fictions. Noûs 46 (2):1--16.
Isaac Goldbring (2012). Definable Operators on Hilbert Spaces. Notre Dame Journal of Formal Logic 53 (2):193-201.
J. Siekmann & P. Szabó (1989). The Undecidability of the DA-Unification Problem. Journal of Symbolic Logic 54 (2):402 - 414.
Sorry, there are not enough data points to plot this chart.
Added to index2010-08-24
Recent downloads (6 months)0
How can I increase my downloads?