Permutation methods applied to Quine's “New foundations”

DOI10.2307/2271727zbMATH Open0259.02050OpenAlexW2034048560MaRDI QIDQ5675720FDOQ5675720

Authors: C. Ward Henson 

Publication date: 1973

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

Full work available at URL: https://doi.org/10.2307/2271727

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”
• Finite sets in Quine's new foundations

Cited In (1)

• Systems of combinatory logic related to Quine's `New Foundations'

This page was built for publication: Permutation methods applied to Quine's “New foundations”

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