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.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
First-order definitions of rational functions and S -integers over holomorphy rings of algebraic functions of characteristic 0.Alexandra Shlapentokh - 2005 - Annals of Pure and Applied Logic 136 (3):267-283.
Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of ℚ.Alexandra Shlapentokh - 2001 - Archive for Mathematical Logic 40 (4):297-328.
Diophantine relations between rings of s-integers of fields of algebraic functions in one variable over constant fields of positive characteristic.Alexandra Shlapentokh - 1993 - Journal of Symbolic Logic 58 (1):158-192.
Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of Q.Alexandra Shlapentokh - 1994 - Annals of Pure and Applied Logic 68 (3):299-325.
Non-Archimedean Probability.Vieri Benci, Leon Horsten & Sylvia Wenmackers - 2013 - Milan Journal of Mathematics 81 (1):121-151.
Periodicite Des Theories Elementaires Des Corps De Series Formelles Iterees.Françoise Delon - 1986 - Journal of Symbolic Logic 51 (2):334-351.
A topos perspective on the kochen-Specker theorem: IV. Interval valuations.Jeremy Butterfield & Chris Isham - unknown
On o-minimal expansions of archimedean ordered groups.Michael C. Laskowski & Charles Steinhorn - 1995 - Journal of Symbolic Logic 60 (3):817-831.
Axioms for Non-Archimedean Probability (NAP).Vieri Benci, Leon Horsten & Sylvia Wenmackers - 2012 - In De Vuyst J. & Demey L. (eds.), Future Directions for Logic; Proceedings of PhDs in Logic III - Vol. 2 of IfColog Proceedings. College Publications.
Real numbers and other completions.Fred Richman - 2008 - Mathematical Logic Quarterly 54 (1):98-108.
Rings of algebraic numbers in infinite extensions of $${\mathbb {Q}}$$ and elliptic curves retaining their rank.Alexandra Shlapentokh - 2009 - Archive for Mathematical Logic 48 (1):77-114.
On Diophantine definability and decidability in some rings of algebraic functions of characteristic 0.Alexandra Shlapentokh - 2002 - Journal of Symbolic Logic 67 (2):759-786.
Analytics
Added to PP
2009-01-28
Downloads
34 (#345,335)
6 months
1 (#447,993)
2009-01-28
Downloads
34 (#345,335)
6 months
1 (#447,993)
Historical graph of downloads
Author's Profile
Citations of this work
Type-amalgamation properties and polygroupoids in stable theories.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2015 - Journal of Mathematical Logic 15 (1):1550004.
