Existential definability with bounds on archimedean valuations

Journal of Symbolic Logic 68 (3):860-878 (2003)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1058448445

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Measurement without archimedean axioms.Louis Narens - 1974 - Philosophy of Science 41 (4):374-393.
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.
Defining integers.Alexandra Shlapentokh - 2011 - Bulletin of Symbolic Logic 17 (2):230-251.
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
36 (#421,132)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references