Article contents
Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
Published online by Cambridge University Press: 12 March 2014
Abstract
In this paper we give a positive answer to Julia Robinson's question whether the definability of + and · from S and ∣ that she proved in the case of positive integers is extendible to arbitrary integers (cf. [JR, p. 102]).
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1985
References
REFERENCES
- 3
- Cited by