Some results on combinators in the system TRC

DOI10.2307/2586813zbMATH Open0947.03019arXivmath/9802075OpenAlexW2110448098MaRDI QIDQ4948544FDOQ4948544

Authors: Thomas J. Jech 

Publication date: 7 November 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/math/9802075

Recommendations

• Systems of combinatory logic related to Quine's `New Foundations'
• Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations
• OTTER experiments in a system of combinatory logic

zbMATH Keywords

stratificationcombinatorsNew FoundationsHolmes' system TRCuntyped illative combinatory logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Title not available (Why is that?)
• New Foundations for Mathematical Logic
• Systems of combinatory logic related to Quine's `New Foundations'
• OTTER experiments in a system of combinatory logic

Cited In (1)

• Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations

This page was built for publication: Some results on combinators in the system TRC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4948544)