Some results on combinators in the system TRC

Jech, Thomas

Some results on combinators in the system TRC

Authors

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.
10 pages. Available also from http://www.math.psu.edu/jech/preprints/

Keywords

Logic

URI

http://salesiana.dossiersoluciones.com/handle/123456789/76614

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9802075
http://arxiv.org/abs/math/9802075

Collections

arXiv

Full item page

Some results on combinators in the system TRC

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

Consulte el texto completo en el siguiente enlace:

Collections