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
Bar induction and restricted classical logic - MaRDI portal

Bar induction and restricted classical logic (Q2303591)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bar induction and restricted classical logic
scientific article

    Statements

    title
    Bar induction and restricted classical logic (English)
    0 references
    author
    Makoto Fujiwara
    0 references
    publication date
    4 March 2020
    0 references
    zbMATH Keywords
    reverse mathematics
    0 references
    intuitionistic mathematics
    0 references
    bar induction
    0 references
    subsystems of second-order arithmetic
    0 references

    Identifiers

    zbMATH DE Number
    7176929
    0 references
    OpenAlex ID
    W2950280309
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2303591&oldid=32223071"
    Powered by MediaWiki