Some Results on Combinators in the System TRC
Jech, Thomas
J. Symbolic Logic, Tome 64 (1999) no. 1, p. 1811-1819 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We investigate the system TRC of untyped illative combinatory logic that is equiconsistent with New Foundations. We prove that various unstratified combinators do not exist in TRC.
Publié le : 1999-12-14
Classification:  Combinators,  TRC,  New Foundations,  03B40 
@article{1183745954,
     author = {Jech, Thomas},
     title = {Some Results on Combinators in the System TRC},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 1811-1819},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745954}
}

Jech, Thomas. Some Results on Combinators in the System TRC. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  1811-1819. http://gdmltest.u-ga.fr/item/1183745954/