A combinatorial result related to the consistency of New Foundations

DOI10.1016/J.APAL.2010.11.003zbMath1235.03078OpenAlexW1973374301MaRDI QIDQ638501

Athanassios Tzouvaras

Publication date: 12 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.11.003

zbMATH Keywords

simple theory of typesNew Foundationscoherent triple of partitionsextendibility of coherent triple

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• A Reduction of the NF consistency Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A combinatorial result related to the consistency of New Foundations