A modern rigorous approach to stratification in NF/NFU

DOI10.1007/S11787-022-00310-YOpenAlexW4292487003MaRDI QIDQ2084571FDOQ2084571

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Quine, New Foundations, and the Philosophy of Set Theory
• Title not available (Why is that?)
• A tutorial on constructive NF

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)