Pages that link to "Item:Q1071748"
From MaRDI portal
The following pages link to Decidability of extended theories of addition of the natural numbers and the integers (Q1071748):
Displaying 8 items.
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- (Q3367334) (← 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)
- On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers (Q4527928) (← links)
- Logical Theory of the Additive Monoid of Subsets of Natural Integers (Q4982989) (← links)
- Notes on the decidability of addition and the Frobenius map for polynomials and rational functions (Q5057119) (← links)
- THE FIELD OF <i>p</i>-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER (Q5738196) (← links)
