Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
From MaRDI portal
Publication:3752366
DOI10.2307/2273981zbMath0612.03009MaRDI QIDQ3752366
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273981
11U05: Decidability (number-theoretic aspects)
03B25: Decidability of theories and sets of sentences
Related Items
Extensions of Hilbert's tenth problem, Definability and decidability issues in extensions of the integers with the divisibility predicate, INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS, A list of arithmetical structures complete with respect to the first-order definability, Definability, decidability, complexity, Unnamed Item
Cites Work