Pages that link to "Item:Q764281"
From MaRDI portal
The following pages link to Decidability questions for a ring of Laurent polynomials (Q764281):
Displaying 4 items.
- Defining Multiplication in Some Additive Expansions of Polynomial Rings (Q2813650) (← links)
- Notes on the decidability of addition and the Frobenius map for polynomials and rational functions (Q5057119) (← links)
- INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS (Q5195064) (← links)
- Decidability of the class of all the rings : A problem of Ax (Q6168504) (← links)