First-order definitions of rational functions and S -integers over holomorphy rings of algebraic functions of characteristic 0

Annals of Pure and Applied Logic 136 (3):267-283 (2005)
  Copy   BIBTEX

Abstract

We consider the problem of constructing first-order definitions in the language of rings of holomorphy rings of one-variable function fields of characteristic 0 in their integral closures in finite extensions of their fraction fields and in bigger holomorphy subrings of their fraction fields. This line of questions is motivated by similar existential definability results over global fields and related questions of Diophantine decidability

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.04.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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

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.
Existential definability with bounds on archimedean valuations.Alexandra Shlapentokh - 2003 - Journal of Symbolic Logic 68 (3):860-878.
On existential definitions of c.e. subsets of rings of functions of characteristic 0.Russell Miller & Alexandra Shlapentokh - 2022 - Annals of Pure and Applied Logic 173 (4):103076.
Boolean products of real closed valuation rings and fields.Jorge I. Guier - 2001 - Annals of Pure and Applied Logic 112 (2-3):119-150.
Elementary geometric local–global principles for fields.Arno Fehm - 2013 - Annals of Pure and Applied Logic 164 (10):989-1008.
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.
Rational separability over a global field.Alexandra Shlapentokh - 1996 - Annals of Pure and Applied Logic 79 (1):93-108.
Denseness results in the theory of algebraic fields.Sylvy Anscombe, Philip Dittmann & Arno Fehm - 2021 - Annals of Pure and Applied Logic 172 (8):102973.
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.
Dp-finite fields I(A): The infinitesimals.Will Johnson - 2021 - Annals of Pure and Applied Logic 172 (6):102947.

Analytics

Added to PP
2014-01-16

Downloads
11 (#1,167,245)

6 months
3 (#1,046,015)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.
Questions of decidability and undecidability in number theory.B. Mazur - 1994 - Journal of Symbolic Logic 59 (2):353-371.
Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
Indécidabilité Des corps de courbe réelle.Luc Bélair & Jean-Louis Duret - 1994 - Journal of Symbolic Logic 59 (1):87-91.

View all 7 references / Add more references