The Cardinal Squaring Principle and an Alternative Axiomatization of NFU

DOI10.18778/0138-0680.2023.25OpenAlexW4387136053MaRDI QIDQ6200478

Vedran Čačić, Tin Adlešić

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2023.25

zbMATH Keywords

axiomatizationcardinal multiplicationQuine's new foundations

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Other classical set theory (including functions, relations, and set algebra) (03E20) Axiom of choice and related propositions (03E25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Systems of combinatory logic related to Quine's `New Foundations'
• A modern rigorous approach to stratification in NF/NFU
• Alternative Set Theories
• New Foundations for Mathematical Logic

This page was built for publication: The Cardinal Squaring Principle and an Alternative Axiomatization of NFU