Some results on combinators in the system TRC
classification
🧮 math.LO
keywords
combinatorssystemcombinatoryequiconsistentexistfoundationsinvestigatelogic
read the original abstract
We investigate the system TRC of combinatory logic that is equiconsistent with New Foundations. We prove that various unstratified combinators do not exist in TRC.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.