Pages that link to "Item:Q3149994"
From MaRDI portal
The following pages link to On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0 (Q3149994):
Displaying 14 items.
- On diophantine equations over the ring of all algebraic integers (Q793094) (← links)
- Diophantine undecidability of holomorphy rings of function fields of characteristic 0 (Q1041275) (← links)
- Defining integrality at prime sets of high density in number fields. (Q1974973) (← links)
- Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic (Q2352025) (← links)
- Diophantine definability and decidability in extensions of degree 2 of totally real fields (Q2370285) (← links)
- A universal first-order formula defining the ring of integers in a number field (Q2510101) (← links)
- First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 (Q2570137) (← links)
- On existential definitions of c.e. subsets of rings of functions of characteristic 0 (Q2668003) (← links)
- Elimination theory for the ring of algebraic integers. (Q3808206) (← links)
- DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES (Q4235643) (← links)
- Algebraic dimension over Frobenius fields (Q4276472) (← links)
- A strict Positivstellensatz for rings of definable analytic functions (Q4911843) (← links)
- Diophantine relations between rings of <i>S</i>-integers of fields of algebraic functions in one variable over constant fields of positive characteristic (Q5287686) (← links)
- Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of \(\mathbb{Q}\) (Q5944053) (← links)