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
Recursive axiomatisations from separation properties - MaRDI portal

Recursive axiomatisations from separation properties (Q6321264)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Recursive axiomatisations from separation properties
scientific article

    Statements

    29 June 2019
    0 references
    math.LO
    0 references
    cs.LO
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references