Some results on combinators in the system TRC
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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.