The Hahn-Banach theorem by disjunction elimination (Q2074035)
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: The Hahn-Banach theorem by disjunction elimination |
scientific article; zbMATH DE number 7469122
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Hahn-Banach theorem by disjunction elimination |
scientific article; zbMATH DE number 7469122 |
Statements
The Hahn-Banach theorem by disjunction elimination (English)
0 references
4 February 2022
0 references
Hahn-Banach theorem
0 references
Scott entailment relations
0 references
conservative extension
0 references
constructive mathematics
0 references
0 references
0.7770096659660339
0 references
0.7769510746002197
0 references
0.7667063474655151
0 references
