Finite sets in Quine's new foundations

DOI10.2307/2270852zbMath0191.30102OpenAlexW2039812977MaRDI QIDQ5585400

C. Ward Henson

Publication date: 1969

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

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

zbMATH Keywords

set theory

Related Items (4)

Stratified languages ⋮ Permutation methods applied to Quine's “New foundations” ⋮ Automorphisms of models of set theory and extensions of NFU ⋮ Automorphisms moving all non-algebraic points and an application to NF

Cites Work

• New foundations and the axiom of counting
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

This page was built for publication: Finite sets in Quine's new foundations