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