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
Tarski's theorem - MaRDI portal

Tarski's theorem (Q6481060)

From MaRDI portal
theorem equivalent to the Axiom of Choice
Language Label Description Also known as
English
Tarski's theorem
theorem equivalent to the Axiom of Choice

    Statements

    Identifiers

    Wikidata QID
    Q2908743
    0 references
     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6481060&oldid=37536818"
      Powered by MediaWiki