A Diophantine definition of rational integers over some rings of algebraic numbers
Notre Dame Journal of Formal Logic 33 (3):299-321 (1992)
Abstract
This article has no associated abstract. (fix it)Author's Profile
DOI
10.1305/ndjfl/1093634397
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
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 equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Introduction to Mathematical Thinking: The Formation of Concepts in Modern Mathematics.Friedrich Waismann - 1951 - Dover Publications.
Analytics
Added to PP
2010-08-24
Downloads
4 (#1,240,690)
6 months
1 (#454,876)
2010-08-24
Downloads
4 (#1,240,690)
6 months
1 (#454,876)
Historical graph of downloads
Author's Profile
Citations of this work
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 equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
