A Diophantine definition of rational integers over some rings of algebraic numbers

Notre Dame Journal of Formal Logic 33 (3):299-321 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093634397

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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 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.
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.
Hilbert's Tenth Problem for Rings of Rational Functions.Karim Zahidi - 2002 - Notre Dame Journal of Formal Logic 43 (3):181-192.
Defining integers.Alexandra Shlapentokh - 2011 - Bulletin of Symbolic Logic 17 (2):230-251.
Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint.Claude Sureson - 2007 - Notre Dame Journal of Formal Logic 48 (3):399-423.
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.
Rings of term-relation numbers as non-standard models.F. G. Asenjo - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):24-26.
Quantified modal logics of positive rational numbers and some related systems.Giovanna Corsi - 1993 - Notre Dame Journal of Formal Logic 34 (2):263-283.
Relatively Diophantine correct models of arithmetic.Bonnie Gold - 1987 - Notre Dame Journal of Formal Logic 28 (2):291-296.

Analytics

Added to PP
2010-08-24

Downloads
15 (#1,234,199)

6 months
7 (#710,381)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.

Add more citations

References found in this work

No references found.

Add more references