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
Formal Proof of Banach-Tarski Paradox - MaRDI portal

Formal Proof of Banach-Tarski Paradox

From MaRDI portal

Publication:5195284

Jump to:navigation, search

DOI10.6092/issn.1972-5787/6927zbMath1451.68322OpenAlexW2772394006MaRDI QIDQ5195284

Daniel de Rauglaudre

Publication date: 18 September 2019

Full work available at URL: https://hal.archives-ouvertes.fr/hal-01673378

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

Coq

Cites Work

This page was built for publication: Formal Proof of Banach-Tarski Paradox

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5195284&oldid=19781717"