On Not Saying What We Shouldn't Have to Say
Shay Allen Logan, Graham Leach-Krouse · The Australasian Journal of Logic · 2021
In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.