Pages that link to "Item:Q5359580"
From MaRDI portal
The following pages link to THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS (Q5359580):
Displaying 8 items.
- Division by zero (Q335000) (← links)
- Universal theories of integers and the extended Bliznetsov hypothesis (Q1057849) (← links)
- Existential decidability for addition and divisibility in holomorphy subrings of global fields (Q2167510) (← links)
- A logical approach to the problem of representation of integers by systems of diagonal forms (Q3169270) (← links)
- Décidabilité de la théorie existentielle de \(\mathbb{N}\) structuré par l'ordre naturel, la divisibilité, les prédicats puissances et les fonctions puissances. (The existential theory of the set of natural integers structured by natural order, divi (Q3971059) (← links)
- Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants (Q3987627) (← links)
- The diophantine problem for addition and divisibility for subrings of rational functions over finite fields (Q5145915) (← links)
- Foundations of Software Science and Computational Structures (Q5705902) (← links)
