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 Church Problem for Countable Ordinals - MaRDI portal

The Church Problem for Countable Ordinals (Q3636804)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Church Problem for Countable Ordinals
scientific article

    Statements

    The Church Problem for Countable Ordinals (English)
    0 references
    30 June 2009
    0 references
    Church synthesis problem
    0 references
    \(\omega\)-games
    0 references
    countable ordinals
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references