Typical ambiguity and the axiom of choice (Q3689178)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Typical ambiguity and the axiom of choice |
scientific article; zbMATH DE number 3912370
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Typical ambiguity and the axiom of choice |
scientific article; zbMATH DE number 3912370 |
Statements
Typical ambiguity and the axiom of choice (English)
0 references
1984
0 references
New Foundations
0 references
Quine's set theory NF
0 references
type theory
0 references
0.7998761534690857
0 references
0.7585312128067017
0 references
0.7460659146308899
0 references
0.7415630221366882
0 references