No label defined (Q4956001)
From MaRDI portal
scientific article; zbMATH DE number 1450821
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1450821 |
Statements
23 May 2000
0 references
NFU
0 references
New Foundations
0 references
axiom of small ordinals
0 references
NF with urelements
0 references
consistency
0 references
axiom of choice
0 references
finite axiomatization
0 references
elementary topology of the real numbers
0 references
surreal numbers
0 references
relative consistency strength
0 references
stratified \(\lambda\)-calculus
0 references
