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
Direct proofs of Lindenbaum conditionals - MaRDI portal

Direct proofs of Lindenbaum conditionals (Q2254568)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Direct proofs of Lindenbaum conditionals
scientific article

    Statements

    title
    Direct proofs of Lindenbaum conditionals (English)
    0 references
    author
    René Gazzari
    0 references
    publication date
    5 February 2015
    0 references
    zbMATH Keywords
    deductive system
    0 references
    Lindenbaum theorem
    0 references
    axiom of choice
    0 references
    pure proof
    0 references

    Identifiers

    zbMATH DE Number
    6398417
    0 references
    OpenAlex ID
    W2001094080
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2254568&oldid=38970671"
    Powered by MediaWiki