Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations''
type: Item
instance of: scholarly article
title: Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations''
zbMATH Open document ID: 0771.03005
DOI: 10.1016/0168-0072(93)90230-B
author: M. Randall Holmes
published in: Annals of Pure and Applied Logic
publication date: 1993-05-16T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03E70
zbMATH DE Number: 165827
zbMATH Keywords: subsystems of the combinatory logic TRC
zbMATH Keywords: subsystems of NF with predicativity restrictions on set comprehension
zbMATH Keywords: consistency strength
zbMATH Keywords: expressive power
MaRDI profile type: Publication
cites work: On the consistency of an impredicative subsystem of Quine's NF
cites work: Systems of combinatory logic related to Quine's `New Foundations'
cites work: On the consistency of a slight (?) modification of Quine's 'New Foundations'
cites work: New Foundations for Mathematical Logic
cites work: Q4189244
cites work: The Axiom of Choice in Quine's New Foundations for Mathematical Logic
full work available at URL: 0168-0072(93)90230-b
OpenAlex ID: W2030371365
description: scientific article; zbMATH DE number 165827