Typical ambiguity and the axiom of choice

DOI10.2307/2274262zbMath0572.03029OpenAlexW2158319126WikidataQ114589039 ScholiaQ114589039MaRDI QIDQ3689178

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)

Related Items (1)

2008 Annual Meeting of the Association for Symbolic Logic

Cites Work

• 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
• Unnamed Item

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