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
Higher randomness and forcing with closed sets - MaRDI portal

Higher randomness and forcing with closed sets (Q2965517)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Higher randomness and forcing with closed sets
scientific article

    Statements

    0 references
    3 March 2017
    0 references
    effective descriptive set theory
    0 references
    higher computability
    0 references
    effective randomness
    0 references
    genericity
    0 references
    Higher randomness and forcing with closed sets (English)
    0 references

    Identifiers