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):
Displaying 7 items.
- Universal theories of integers and the extended Bliznetsov hypothesis (Q1057849) (← links)
- 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)