Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The Gleason cover of a topos. II - MaRDI portal

The Gleason cover of a topos. II (Q1145205)

From MaRDI portal





scientific article; zbMATH DE number 3695434
Language Label Description Also known as
English
The Gleason cover of a topos. II
scientific article; zbMATH DE number 3695434

    Statements

    The Gleason cover of a topos. II (English)
    0 references
    1981
    0 references
    De Morgan's law
    0 references
    extremal disconnectedness
    0 references
    projectivity
    0 references
    compact regular internal locales
    0 references
    prime ideal theorem
    0 references
    maximal ideal theorem
    0 references
    localic topos
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references