Relevant Arithmetic

Abstract

This is a republication of R.K. Meyer's "Relevant Arithmetic", which originally appeared in the Bulletin of the Section of Logic 5 (1976). It sets out the problems that Meyer was to work on for the next decade concerning his system, R#.