Permutation methods applied to Quine's “New foundations”

DOI10.2307/2271727MaRDI QIDQ5675720zbMATH OpenOpenAlexFDO

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

• Finite sets in Quine's new foundations
• Type-raising operations on cardinal and ordinal numbers 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)