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

M. Randall Holmes

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Abstract

This paper extends the results of an earlier paper by the author (this journal, 1991). New subsystems of the combinatory logic TRC shown in that paper to be equivalent to NF are introduced; these systems are analogous to subsystems of NF with predicativity restrictions on set comprehension introduced and shown to be consistent by Crabbé. For one of these systems, an exact equivalence in consistency strength and expressive power with the analogous subsystem of NF is established.

Original languageEnglish
Pages (from-to)45-53
Number of pages9
JournalAnnals of Pure and Applied Logic
Volume59
Issue number1
DOIs
StatePublished - 1 Jan 1993

Fingerprint

Dive into the research topics of 'Systems of combinatory logic related to predicative and 'mildly impredicative' fragments of Quine's 'New Foundations''. Together they form a unique fingerprint.

Cite this