Some results on combinators in the system TRC
| dc.creator | Jech, Thomas | |
| dc.date | 1998-02-16 | |
| dc.date.accessioned | 2026-07-07T05:23:52Z | |
| dc.date.available | 2026-07-07T05:23:52Z | |
| dc.description | 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. | |
| dc.description | 10 pages. Available also from http://www.math.psu.edu/jech/preprints/ | |
| dc.identifier | https://arxiv.org/abs/math/9802075 | |
| dc.identifier | http://arxiv.org/abs/math/9802075 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/76614 | |
| dc.subject | Logic | |
| dc.title | Some results on combinators in the system TRC | |
| dc.type | text |