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

DOI10.2307/2273542MaRDI QIDQ3671149zbMATH OpenOpenAlexFDO

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)