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
Independence and Induction in Reverse Mathematics - MaRDI portal

Independence and Induction in Reverse Mathematics (Q6740890)

From MaRDI portal





scientific article from arXiv
Language Label Description Also known as
English
Independence and Induction in Reverse Mathematics
scientific article from arXiv

    Statements

    arXiv classification
    math.LO
    0 references
    publication date
    2024
    0 references
    author
    David R. Belanger
    0 references
    C. T. Chong
    0 references
    Rupert Hölzl
    0 references
    Frank Stephan
    0 references

    Identifiers

    arXiv ID
    2408.09796
    0 references
     
      Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q6740890&oldid=40388683"
      Powered by MediaWiki