A modern rigorous approach to stratification in NF/NFU

DOI10.1007/S11787-022-00310-YMaRDI QIDQ2084571zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1045384
• Consistency of strictly impredicative NF and a little more \(\dots \)
• The 3-stratifiable theorems of \(\text{NFU}_\infty\)
• Quine's NF--60 Years On
• scientific article; zbMATH DE number 98682

Cites work

• scientific article; zbMATH DE number 1705882 (Why is no real title available?)
• scientific article; zbMATH DE number 3115104 (Why is no real title available?)
• scientific article; zbMATH DE number 803071 (Why is no real title available?)
• scientific article; zbMATH DE number 1450821 (Why is no real title available?)
• A tutorial on constructive NF
• Quine, New Foundations, and the Philosophy of Set Theory
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

Cited in

(2)

• ALGEBRAIC NEW FOUNDATIONS
• The Cardinal Squaring Principle and an Alternative Axiomatization of NFU

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2084571)