On diophantine definability and decidability in some rings of algebraic functions of characteristic
Journal of Symbolic Logic 67 (2):759-786 (2002)
| Abstract | Let K be a function field of one variable over a constant field C of finite transcendence degree over C. Let M/K be a finite extension and let W be a set of primes of K such that all but finitely many primes of W do not split in the extension M/K. Then there exists a set W' of K-primes such that Hilbert's Tenth Problem is not decidable over $O_{K,W'} = \{x \in K\mid ord_\mathfrak{p} x \geq 0, \forall\mathfrak{p} \notin W'\}$ , and the set (W' $\backslash$ W) ∪ (W $\backslash$ W') is finite. Let K be a function field of one variable over a constant field C finitely generated over Q. Let M/K be a finite extension and let W be a set of primes of K such that all but finitely many primes of W do not split in the extension M/K and the degree of all the primes in W is bounded by b ∈ N. Then there exists a set W' of K-primes such that Z has a Diophantine definition over O K ,W', and the set (W' $\backslash$ W) ∪ (W $\backslash$ W') is finite | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesTamara Servi (2008). Noetherian Varieties in Definably Complete Structures. Logic and Analysis 1 (3-4):187-204.
Carl G. Jockusch Jr & Alexandra Shlapentokh (1995). Weak Presentations of Computable Fields. Journal of Symbolic Logic 60 (1):199 - 208.
Carl G. Jockusch Jr & Alexandra Shlapentokh (1995). Weak Presentations of Computable Fields. Journal of Symbolic Logic 60 (1):199 - 208.
Shih-Ping Tung (1990). Decidable Fragments of Field Theories. Journal of Symbolic Logic 55 (3):1007-1018.
James H. Schmerl (1981). Decidability and Finite Axiomatizability of Theories of ℵ0-Categorical Partially Ordered Sets. Journal of Symbolic Logic 46 (1):101 - 120.
P. T. Bateman, C. G. Jockusch & A. R. Woods (1993). Decidability and Undecidability of Theories with a Predicate for the Primes. Journal of Symbolic Logic 58 (2):672-687.
Alexandra Shlapentokh (1994). Diophantine Equivalence and Countable Rings. Journal of Symbolic Logic 59 (3):1068-1095.
Bruce I. Rose (1978). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 43 (1):92-112.
Jochen Koenigsmann (2002). Defining Transcendentals in Function Fields. Journal of Symbolic Logic 67 (3):947-956.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
