The disjunction property implies the numerical existence property (Q4109645)
From MaRDI portal
scientific article; zbMATH DE number 3532917
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The disjunction property implies the numerical existence property |
scientific article; zbMATH DE number 3532917 |
Statements
The disjunction property implies the numerical existence property (English)
0 references
1975
0 references
