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
Representability in some systems of second order arithmetic - MaRDI portal

Representability in some systems of second order arithmetic (Q2545877)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Representability in some systems of second order arithmetic
scientific article

    Statements

    title
    Representability in some systems of second order arithmetic (English)
    0 references
    author
    Peter Aczel
    0 references
    publication date
    1970
    0 references

    Identifiers

    DOI
    10.1007/BF02798678
    0 references
    zbMATH DE Number
    3342823
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2545877&oldid=34536649"
    Powered by MediaWiki