The axiom scheme of acyclic comprehension

DOI10.1215/00294527-2377851zbMath1327.03041OpenAlexW2013768618WikidataQ114007780 ScholiaQ114007780MaRDI QIDQ2443116

Zuhair Al-Johar, M. Randall Holmes, Nathan Bowler

Publication date: 4 April 2014

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1390246435

zbMATH Keywords

stratificationNFUNew Foundationsacyclic comprehension

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (1)

Sets and plural comprehension

Cites Work

• Unnamed Item
• Unnamed Item
• On NFU
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• The Hauptsatz for Stratified Comprehension: A Semantic Proof
• New Foundations for Mathematical Logic
• A set of axioms for logic

This page was built for publication: The axiom scheme of acyclic comprehension