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
Algorithmic Randomness of Closed Sets - MaRDI portal

Algorithmic Randomness of Closed Sets (Q5441120)

From MaRDI portal





scientific article; zbMATH DE number 5233214
Language Label Description Also known as
English
Algorithmic Randomness of Closed Sets
scientific article; zbMATH DE number 5233214

    Statements

    Algorithmic Randomness of Closed Sets (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    7 February 2008
    0 references
    recursion theory
    0 references
    algorithmic randomness
    0 references
    infinite trees
    0 references
    \(\Pi^0_1\)-classes
    0 references
    ghost code
    0 references
    Martin-Löf random set
    0 references
    random closed set
    0 references

    Identifiers