Further consistency and independence results in NF obtained by the permutation method

DOI10.2307/2273542zbMATH Open0521.03033OpenAlexW2035278464MaRDI QIDQ3671149FDOQ3671149

Authors: T. E. Forster 

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

zbMATH Keywords

permutation methodnew foundations

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Cited In (1)

• The status of the axiom of choice in set theory with a universal set

This page was built for publication: Further consistency and independence results in NF obtained by the permutation method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671149)