Pages that link to "Item:Q3752366"
From MaRDI portal
The following pages link to Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility (Q3752366):
Displayed 6 items.
- Definability, decidability, complexity (Q1817073) (← links)
- Extensions of Hilbert's tenth problem (Q4302340) (← links)
- (Q4327098) (← links)
- Definability and decidability issues in extensions of the integers with the divisibility predicate (Q4894724) (← links)
- INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS (Q5195064) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)