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
Nonstandardness and the bounded functional interpretation - MaRDI portal

Nonstandardness and the bounded functional interpretation (Q2344622)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Nonstandardness and the bounded functional interpretation
scientific article

    Statements

    Nonstandardness and the bounded functional interpretation (English)
    0 references
    0 references
    0 references
    15 May 2015
    0 references
    functional interpretations
    0 references
    nonstandard arithmetic
    0 references
    majorizability
    0 references
    bounded functional interpretation
    0 references

    Identifiers

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