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
Stationary logic of finitely determinate structures - MaRDI portal

Stationary logic of finitely determinate structures (Q3893909)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Stationary logic of finitely determinate structures
scientific article

    Statements

    Stationary logic of finitely determinate structures (English)
    0 references
    0 references
    0 references
    1979
    0 references
    stationary logic
    0 references
    finitely determinate structures
    0 references
    elementary chains
    0 references
    algebraic systems
    0 references
    elimination of quantifiers for modules
    0 references

    Identifiers

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