No label defined (Q4440525)
From MaRDI portal
scientific article; zbMATH DE number 2019830
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2019830 |
Statements
5 January 2004
0 references
constructive Hahn-Banach theorem
0 references
locales
0 references
axiom of choice
0 references
topoi
0 references