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
Non standard interpretations of higher order theories - MaRDI portal

Non standard interpretations of higher order theories (Q3937398)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Non standard interpretations of higher order theories
scientific article

    Statements

    Non standard interpretations of higher order theories (English)
    0 references
    0 references
    1981
    0 references
    higher order arithmetic
    0 references
    higher order set theory
    0 references

    Identifiers