The Gleason cover of a topos. I (Q1145204)
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 Gleason cover of a topos. I |
scientific article; zbMATH DE number 3695433
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Gleason cover of a topos. I |
scientific article; zbMATH DE number 3695433 |
Statements
The Gleason cover of a topos. I (English)
0 references
1980
0 references
topos of sheaves
0 references
De Morgan's law
0 references
Gleason cover
0 references
order-completion of the Dedekind real numbers
0 references
Hahn-Banach theorem in a topos
0 references
