Typical ambiguity and the axiom of choice

DOI10.2307/2274262zbMATH Open0572.03029OpenAlexW2158319126WikidataQ114589039 ScholiaQ114589039MaRDI QIDQ3689178FDOQ3689178

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

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

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)

Cites Work

• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Title not available (Why is that?)
• On the Typed Properties in Quine's “New Foundations”
• Sets equipollent to their power set in NF

Cited In (8)

• Title not available (Why is that?)
• Hedging, ambiguity, and the reversal of order axiom
• Title not available (Why is that?)
• 2008 Annual Meeting of the Association for Symbolic Logic
• Intuitionistic typical ambiguity
• Why the Axiom of Choice Sometimes Fails
• Ambiguous cardinals
• The status of the axiom of choice in set theory with a universal set

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)