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) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAlexandra Shlapentokh (1993). Diophantine Relations Between Rings of s-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic. Journal of Symbolic Logic 58 (1):158-192.
Alexandra Shlapentokh (1994). Diophantine Equivalence and Countable Rings. Journal of Symbolic Logic 59 (3):1068-1095.
Alexandra Shlapentokh (2011). Defining Integers. Bulletin of Symbolic Logic 17 (2):230-251.
Alexandra Shlapentokh (2002). On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic. Journal of Symbolic Logic 67 (2):759-786.
Alexandra Shlapentokh (2003). Existential Definability with Bounds on Archimedean Valuations. Journal of Symbolic Logic 68 (3):860-878.
Stewart Shapiro (2000). Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. Notre Dame Journal of Formal Logic 41 (4):335--364.
Miklós Erdélyi-Szabó (2000). Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. Journal of Symbolic Logic 65 (3):1014-1030.
Jochen Koenigsmann (2002). Defining Transcendentals in Function Fields. Journal of Symbolic Logic 67 (3):947-956.
Vladimir Kanovei (1996). On External Scott Algebras in Nonstandard Models of Peano Arithmetic. Journal of Symbolic Logic 61 (2):586-607.
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,602 of 549,013 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
