Some results on combinators in the system TRC

DOI10.2307/2586813MaRDI QIDQ4948544zbMATH OpenOpenAlexFDO

Authors Thomas J. Jech

Publication date 7 November 2000

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

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

zbMATH Keywords

stratificationcombinatorsNew FoundationsHolmes' system TRCuntyped illative combinatory logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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.

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

Cites work

• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• New Foundations for Mathematical Logic
• OTTER experiments in a system of combinatory logic
• Systems of combinatory logic related to Quine's `New Foundations'

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)