Robinson’s arithmetic Q is given a simple interpretation in Hájek’s weaker relational version QH that does not use Solovay’s technique of shortening cuts. The result is placed within two research themes regarding relational arithmetics.
CITATION STYLE
Ganea, M. (2015). A Remark on a Relational Version of Robinson’s Arithmetic Q. In Boston Studies in the Philosophy and History of Science (Vol. 313, pp. 125–130). Springer Nature. https://doi.org/10.1007/978-3-319-16655-1_8
Mendeley helps you to discover research relevant for your work.