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 (1993)
Abstract
One of the main theorems of the paper states the following. Let R-K-M be finite extensions of a rational one variable function field R over a finite field of constants. Let S be a finite set of valuations of K. Then the ring of elements of K having no poles outside S has a Diophantine definition over its integral closure in MAuthor's Profile
DOI
10.2307/2275331
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
Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
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.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
QE rings in characteristic p n.Chantal Berline & Gregory Cherlin - 1983 - Journal of Symbolic Logic 48 (1):140 - 162.
Analytics
Added to PP
2009-01-28
Downloads
32 (#366,818)
6 months
1 (#447,993)
2009-01-28
Downloads
32 (#366,818)
6 months
1 (#447,993)
Historical graph of downloads
Author's Profile
Citations of this work
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.
