On the strength of a weak variant of the axiom of counting

DOI10.1002/malq.201600004zbMath1469.03152arXiv1601.04168OpenAlexW2962732866WikidataQ114018687 ScholiaQ114018687MaRDI QIDQ5108092

Zachiri McKenzie

Publication date: 29 April 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.04168

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automorphisms of models of set theory and extensions of NFU
• New foundations and the axiom of counting
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Strong axioms of infinity in NFU
• New Foundations for Mathematical Logic
• On ordered pairs
• The strength of Mac Lane set theory

This page was built for publication: On the strength of a weak variant of the axiom of counting