Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of Q

Annals of Pure and Applied Logic 68 (3):299-325 (1994)
  Copy   BIBTEX

Abstract

This paper provides the first examples of rings of algebraic numbers containing the rings of algebraic integers of the infinite algebraic extensions of where Hilbert's Tenth Problem is undecidable

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)90024-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

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.
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 equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
A Diophantine definition of rational integers over some rings of algebraic numbers.Alexandra Shlapentokh - 1992 - Notre Dame Journal of Formal Logic 33 (3):299-321.
Definability of the ring of integers in some infinite algebraic extensions of the rationals.Kenji Fukuzaki - 2012 - Mathematical Logic Quarterly 58 (4-5):317-332.
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 properties of finite commutative rings.Mihai Prunescu - 2003 - Archive for Mathematical Logic 42 (3):293-302.
Review: Julia Robinson, The Undecidability of Algebraic Rings and Fields. [REVIEW]Martin Davis - 1964 - Journal of Symbolic Logic 29 (1):57-58.
Diophantine sets of polynomials over algebraic extensions of the rationals.Claudia Degroote & Jeroen Demeyer - 2014 - Journal of Symbolic Logic 79 (3):733-747.
Undecidability of the Real-Algebraic Structure of Scott's Model.Miklós Erdélyi-Szabó - 1998 - Mathematical Logic Quarterly 44 (3):344-348.
Hilbert's Tenth Problem for Rings of Rational Functions.Karim Zahidi - 2002 - Notre Dame Journal of Formal Logic 43 (3):181-192.
Parameterized partition relations on the real numbers.Joan Bagaria & Carlos A. Di Prisco - 2009 - Archive for Mathematical Logic 48 (2):201-226.
On Infinite Number and Distance.Jeremy Gwiazda - 2012 - Constructivist Foundations 7 (2):126-130.

Analytics

Added to PP
2014-01-16

Downloads
18 (#837,580)

6 months
7 (#440,136)

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

Add more references