Some results on combinators in the system TRC
Logic
2007-05-23 v1
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.
Cite
@article{arxiv.math/9802075,
title = {Some results on combinators in the system TRC},
author = {Thomas Jech},
journal= {arXiv preprint arXiv:math/9802075},
year = {2007}
}
Comments
10 pages. Available also from http://www.math.psu.edu/jech/preprints/