Pages that link to "Item:Q3971059"
From MaRDI portal
The following pages link to 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):
Displaying 7 items.
- The elementary theory of the natural lattice is finitely axiomatizable (Q916643) (← links)
- Universal theories of integers and the extended Bliznetsov hypothesis (Q1057849) (← links)
- Decidability of extended theories of addition of the natural numbers and the integers (Q1071748) (← links)
- A logical approach to the problem of representation of integers by systems of diagonal forms (Q3169270) (← links)
- Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants (Q3987627) (← links)
- Foundations of Software Science and Computational Structures (Q5705902) (← links)
- Decidability of the theory of the natural integers with the Cantor pairing function and the successor (Q5941253) (← links)