Strong axioms of infinity in NFU

DOI10.2307/2694912zbMath0986.03038OpenAlexW2083282082WikidataQ114588313 ScholiaQ114588313MaRDI QIDQ2732269

M. Randall Holmes

Publication date: 19 March 2002

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

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

zbMATH Keywords

choiceinfinityextensions of NFU

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (6)

Cantor and generalized continuum hypotheses may be false ⋮ On the strength of a weak variant of the axiom of counting ⋮ Hypercomputation by definition ⋮ Largest initial segments pointwise fixed by automorphisms of models of set theory ⋮ Automorphisms of models of set theory and extensions of NFU ⋮ Why is the universe of sets not a set?

Cites Work

• New foundations and the axiom of counting
• Stratified and positive comprehension seen as superclass rules over ordinary set theory
• Cofinal Indiscernibles and some Applications to New Foundations
• New Foundations for Mathematical Logic
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strong axioms of infinity in NFU