Further consistency and independence results in NF obtained by the permutation method
From MaRDI portal
Publication:3671149
DOI10.2307/2273542zbMath0521.03033OpenAlexW2035278464MaRDI QIDQ3671149
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273542
Related Items (1)
This page was built for publication: Further consistency and independence results in NF obtained by the permutation method