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
Definability Over the Class of all Partitions - MaRDI portal

Definability Over the Class of all Partitions (Q3431961)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Definability Over the Class of all Partitions
scientific article

    Statements

    Definability Over the Class of all Partitions (English)
    0 references
    0 references
    0 references
    13 April 2007
    0 references
    modal definability
    0 references
    first-order definability
    0 references
    decidability
    0 references
    complexity
    0 references

    Identifiers