A modern rigorous approach to stratification in NF/NFU

DOI10.1007/s11787-022-00310-yOpenAlexW4292487003MaRDI QIDQ2084571

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

Publication date: 18 October 2022

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-022-00310-y

zbMATH Keywords

stratificationtype theorynew foundationsabstraction terms

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other classical set theory (including functions, relations, and set algebra) (03E20) Computational methods for problems pertaining to mathematical logic and foundations (03-08)

Related Items (1)

The Cardinal Squaring Principle and an Alternative Axiomatization of NFU

Cites Work

• Quine, New Foundations, and the Philosophy of Set Theory
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A modern rigorous approach to stratification in NF/NFU