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
Functional interpretation and the existence property - MaRDI portal

Functional interpretation and the existence property (Q3159413)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Functional interpretation and the existence property
scientific article

    Statements

    title
    Functional interpretation and the existence property (English)
    0 references
    published in
    MLQ
    0 references
    publication date
    16 February 2005
    0 references
    zbMATH Keywords
    disjunction property
    0 references
    existence property
    0 references
    functional interpretation
    0 references
    intuitionistic arithmetic
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F25
    0 references
    03F10
    0 references
    03F30
    0 references
    zbMATH DE Number
    2134247
    0 references
    OpenAlex ID
    W2125852437
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3159413&oldid=39274720"
    Powered by MediaWiki