Pages that link to "Item:Q2352025"
From MaRDI portal
The following pages link to Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic (Q2352025):
Displayed 5 items.
- Positive existential definability of multiplication from addition and the range of a polynomial (Q503237) (← links)
- Definability of Frobenius orbits and a result on rational distance sets (Q504116) (← links)
- Bézout domains and lattice-valued modules (Q2318399) (← links)
- INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS (Q5195064) (← links)
- Valued modules on skew polynomial rings and Bézout domains (Q5239169) (← links)