A weakening of the axiom of choice for the standard binary tree. (Q3570653)
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: A weakening of the axiom of choice for the standard binary tree. |
scientific article; zbMATH DE number 5726979
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A weakening of the axiom of choice for the standard binary tree. |
scientific article; zbMATH DE number 5726979 |
Statements
25 June 2010
0 references
logic
0 references
models
0 references
axiom of choice
0 references
0.7485877871513367
0 references
0.74356609582901
0 references
0.7406871914863586
0 references
