On Not Saying What We Shouldn't Have to Say

Australasian Journal of Logic 18 (5):524-568 (2021)
  Copy   BIBTEX


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.

Author Profiles

Shay Logan
Kansas State University
Graham Leach-Krouse
Kansas State University


Added to PP

241 (#59,678)

6 months
62 (#61,534)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?