Typical ambiguity and the axiom of choice

DOI10.2307/2274262MaRDI QIDQ3689178zbMATH OpenOpenAlexWikidataFDO

Authors Marcel Crabbé

Publication date 1984

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

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

zbMATH Keywords

type theoryNew FoundationsQuine's set theory NF

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25)

Recommendations

• scientific article; zbMATH DE number 3882419
• Intuitionistic typical ambiguity
• The status of the axiom of choice in set theory with a universal set
• Ambiguities for NF
• A Theory of Ambiguous Types and Its Axiomatizations

Cites work

• scientific article; zbMATH DE number 3887677 (Why is no real title available?)
• On the Typed Properties in Quine's “New Foundations”
• Sets equipollent to their power set in NF
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

Cited in

(8)

• scientific article; zbMATH DE number 3483592 (Why is no real title available?)
• Hedging, ambiguity, and the reversal of order axiom
• scientific article; zbMATH DE number 3882419 (Why is no real title available?)
• Intuitionistic typical ambiguity
• Ambiguous cardinals
• The status of the axiom of choice in set theory with a universal set
• 2008 Annual Meeting of the Association for Symbolic Logic
• Why the Axiom of Choice Sometimes Fails

This page was built for publication: Typical ambiguity and the axiom of choice

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