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
Zero-one law and definability of linear order - MaRDI portal

Zero-one law and definability of linear order (Q3616345)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Zero-one law and definability of linear order
scientific article

    Statements

    Zero-one law and definability of linear order (English)
    0 references
    0 references
    25 March 2009
    0 references
    first-order zero-one laws
    0 references
    generalized quantifiers
    0 references
    Lindström quantifiers
    0 references
    order-invariant first-order logic
    0 references
    ordered random graphs
    0 references
    random quantifiers
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references