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
Spreads or choice sequences? - MaRDI portal

Spreads or choice sequences? (Q4018173)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Spreads or choice sequences?
scientific article

    Statements

    title
    Spreads or choice sequences? (English)
    0 references
    publication date
    16 January 1993
    0 references
    zbMATH Keywords
    history of intuitionistic logic
    0 references
    spread
    0 references
    meaning of quantification
    0 references
    continuity principles
    0 references
    Brouwer's reconstruction of mathematics
    0 references
    well- circumscribed intuitionistic set
    0 references
    quantification over lawless sequences
    0 references
    author
    H. C. M. De Swart
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03-03
    0 references
    03A05
    0 references
    03F50
    0 references
    01A60
    0 references
    zbMATH DE Number
    92851
    0 references
    Wikidata QID
    Q58517931
    0 references
    OpenAlex ID
    W2135457340
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4018173&oldid=34095595"
    Powered by MediaWiki