Existential definability with Bounds on archimedean valuations
Journal of Symbolic Logic 68 (3):860-878 (2003)
| Abstract | We show that a solution to Hilbert's Tenth Problem in the rings of algebraic integers and bigger subrings of number fields where it is currently not known, is equivalent to a problem of bounding archimedean valuations over non-real number fields | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
|
| Through your library | Configure |
Y. Firat Çeli̇kler (2005). Dimension Theory and Parameterized Normalization for D-Semianalytic Sets Over Non-Archimedean Fields. Journal of Symbolic Logic 70 (2):593 - 618.
Steven E. Edwards (1987). In Defense of Environmental Economics. Environmental Ethics 9 (1):73-85.
Bo Petersson (2011). Axel Hägerström and His Early Version of Error Theory. Theoria 77 (1):55-70.
Philip Ehrlich (2012). The Absolute Arithmetic Continuum and the Unification of All Numbers Great and Small. Bulletin of Symbolic Logic 18 (1):1-45.
Michael C. Laskowski & Charles Steinhorn (1995). On o-Minimal Expansions of Archimedean Ordered Groups. Journal of Symbolic Logic 60 (3):817-831.
Shih Ping Tung (1992). Arithmetic Definability by Formulas with Two Quantifiers. Journal of Symbolic Logic 57 (1):1-11.
Alexandra Shlapentokh (2011). Defining Integers. Bulletin of Symbolic Logic 17 (2):230-251.
Alexandra Shlapentokh (1993). Diophantine Relations Between Rings of s-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic. Journal of Symbolic Logic 58 (1):158-192.
Louis Narens (1974). Measurement Without Archimedean Axioms. Philosophy of Science 41 (4):374-393.
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? |

