Beneš's partial model of NF: an old result revisited
From MaRDI portal
Publication:740207
DOI10.1215/00294527-2688087zbMath1337.03078OpenAlexW2002042760MaRDI QIDQ740207
Publication date: 2 September 2014
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1406034054
Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Other model constructions (03C30)
Cites Work