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

DOI10.2307/2274324zbMath0626.03043OpenAlexW2067638726WikidataQ114589037 ScholiaQ114589037MaRDI QIDQ3029003

T. E. Forster

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274324

zbMATH Keywords

well-foundednessnegative type theoryQuine's system NFset theory with a universal set

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25)

Related Items (1)

Choice principles in hyperuniverses

Cites Work

• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• DUALITÄT
• Further consistency and independence results in NF obtained by the permutation method
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

This page was built for publication: The status of the axiom of choice in set theory with a universal set