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

DOI10.1016/0168-0072(93)90230-BzbMath0771.03005OpenAlexW2030371365MaRDI QIDQ1208084

M. Randall Holmes

Publication date: 16 May 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(93)90230-b

zbMATH Keywords

consistency strengthexpressive powersubsystems of NF with predicativity restrictions on set comprehensionsubsystems of the combinatory logic TRC

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Inception of Quine's ontology

Cites Work

• Unnamed Item
• Systems of combinatory logic related to Quine's `New Foundations'
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• On the consistency of an impredicative subsystem of Quine's NF
• New Foundations for Mathematical Logic
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

This page was built for publication: Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations