Open AccessOn Not Saying What We Shouldn't Have to Say
Author(s) -
Shay Allen Logan,
Graham Leach-Krouse
Publication year - 2021
Publication title -
australasian journal of logic
Language(s) - English
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v18i5.6923
Subject(s) - point (geometry) , arithmetic , computer science , mathematics , artificial intelligence , geometry
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.