Open AccessOn Not Saying What We Shouldn't Have to Say
Author(s) -
Shay Allen Logan,
Graham Leach-Krouse
Publication year - 2021
Publication title -
the 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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom