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
Adding an abstraction barrier to ZF set theory - MaRDI portal

Adding an abstraction barrier to ZF set theory (Q2219382)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Adding an abstraction barrier to ZF set theory
scientific article

    Statements

    title
    Adding an abstraction barrier to ZF set theory (English)
    0 references
    author
    Ciarán Dunne
    0 references
    J. B. Wells
    0 references
    Fairouz Kamareddine
    0 references
    publication date
    20 January 2021
    0 references
    zbMATH Keywords
    set theory
    0 references
    formalisation of mathematics
    0 references
    theorem proving
    0 references

    Identifiers

    zbMATH DE Number
    7298558
    0 references
    OpenAlex ID
    W3042721577
    0 references
    arXiv ID
    2005.13954
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2219382&oldid=33476805"
    Powered by MediaWiki