Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300699400> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4300699400 abstract "We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2) Every c.e. set of integers has a finite-fold Diophantine definition over the ring of integral functions of any function field of characteristic $0$. (3) All c.e. subsets of polynomial rings over totally real number fields have finite-fold Diophantine definitions. (These are the first examples of infinite rings with this property.) (4) If $k$ is algebraic over $Q$ and is embeddable into a finite extension of $Q_p$ for odd $p$, and $K$ is a one-variable function field over $k$, then the valuation ring of any function field valuation of $K$ has a Diophantine definition over $K$. (5) If $k$ is algebraic over $Q$ and is embeddable into $R$, and $K$ is a function field over $k$, then almost all function field valuations of $K$ have a valuation ring Diophantine over $K$. (6) Let $K$ be a one-variable function field over a number field and let $S$ be a finite set of its primes. Then all c.e. subsets of $O_{K,S}$ are existentially definable. (Here $O_{K,S}$ is the ring of $S$-integers or a ring of integral functions.)" @default.
- W4300699400 created "2022-10-04" @default.
- W4300699400 creator A5020820702 @default.
- W4300699400 creator A5047375937 @default.
- W4300699400 date "2017-06-10" @default.
- W4300699400 modified "2023-09-27" @default.
- W4300699400 title "On existential definitions of C.E. subsets of rings of functions of characteristic 0" @default.
- W4300699400 doi "https://doi.org/10.48550/arxiv.1706.03302" @default.
- W4300699400 hasPublicationYear "2017" @default.
- W4300699400 type Work @default.
- W4300699400 citedByCount "0" @default.
- W4300699400 crossrefType "posted-content" @default.
- W4300699400 hasAuthorship W4300699400A5020820702 @default.
- W4300699400 hasAuthorship W4300699400A5047375937 @default.
- W4300699400 hasBestOaLocation W43006994001 @default.
- W4300699400 hasConcept C114614502 @default.
- W4300699400 hasConcept C118615104 @default.
- W4300699400 hasConcept C12657307 @default.
- W4300699400 hasConcept C134306372 @default.
- W4300699400 hasConcept C14036430 @default.
- W4300699400 hasConcept C162392398 @default.
- W4300699400 hasConcept C164810661 @default.
- W4300699400 hasConcept C178790620 @default.
- W4300699400 hasConcept C185592680 @default.
- W4300699400 hasConcept C200802036 @default.
- W4300699400 hasConcept C202444582 @default.
- W4300699400 hasConcept C206530611 @default.
- W4300699400 hasConcept C2778795570 @default.
- W4300699400 hasConcept C2780378348 @default.
- W4300699400 hasConcept C33923547 @default.
- W4300699400 hasConcept C77926391 @default.
- W4300699400 hasConcept C78458016 @default.
- W4300699400 hasConcept C86803240 @default.
- W4300699400 hasConcept C90119067 @default.
- W4300699400 hasConcept C9376300 @default.
- W4300699400 hasConcept C9485509 @default.
- W4300699400 hasConcept C9652623 @default.
- W4300699400 hasConceptScore W4300699400C114614502 @default.
- W4300699400 hasConceptScore W4300699400C118615104 @default.
- W4300699400 hasConceptScore W4300699400C12657307 @default.
- W4300699400 hasConceptScore W4300699400C134306372 @default.
- W4300699400 hasConceptScore W4300699400C14036430 @default.
- W4300699400 hasConceptScore W4300699400C162392398 @default.
- W4300699400 hasConceptScore W4300699400C164810661 @default.
- W4300699400 hasConceptScore W4300699400C178790620 @default.
- W4300699400 hasConceptScore W4300699400C185592680 @default.
- W4300699400 hasConceptScore W4300699400C200802036 @default.
- W4300699400 hasConceptScore W4300699400C202444582 @default.
- W4300699400 hasConceptScore W4300699400C206530611 @default.
- W4300699400 hasConceptScore W4300699400C2778795570 @default.
- W4300699400 hasConceptScore W4300699400C2780378348 @default.
- W4300699400 hasConceptScore W4300699400C33923547 @default.
- W4300699400 hasConceptScore W4300699400C77926391 @default.
- W4300699400 hasConceptScore W4300699400C78458016 @default.
- W4300699400 hasConceptScore W4300699400C86803240 @default.
- W4300699400 hasConceptScore W4300699400C90119067 @default.
- W4300699400 hasConceptScore W4300699400C9376300 @default.
- W4300699400 hasConceptScore W4300699400C9485509 @default.
- W4300699400 hasConceptScore W4300699400C9652623 @default.
- W4300699400 hasLocation W43006994001 @default.
- W4300699400 hasOpenAccess W4300699400 @default.
- W4300699400 hasPrimaryLocation W43006994001 @default.
- W4300699400 hasRelatedWork W1563931734 @default.
- W4300699400 hasRelatedWork W2002562642 @default.
- W4300699400 hasRelatedWork W2038286929 @default.
- W4300699400 hasRelatedWork W2061476363 @default.
- W4300699400 hasRelatedWork W2101065210 @default.
- W4300699400 hasRelatedWork W2105526129 @default.
- W4300699400 hasRelatedWork W2624892887 @default.
- W4300699400 hasRelatedWork W4206768073 @default.
- W4300699400 hasRelatedWork W4300036386 @default.
- W4300699400 hasRelatedWork W4300699400 @default.
- W4300699400 isParatext "false" @default.
- W4300699400 isRetracted "false" @default.
- W4300699400 workType "article" @default.