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
Preserving Dependent Choice - MaRDI portal

Preserving Dependent Choice

From MaRDI portal
Publication:5382834

DOI10.4064/ba8169-12-2018zbMath1479.03021arXiv1810.11301OpenAlexW3099875334WikidataQ128480831 ScholiaQ128480831MaRDI QIDQ5382834

Asaf Karagila

Publication date: 18 June 2019

Published in: Bulletin of the Polish Academy of Sciences Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.11301




Related Items (8)



Cites Work




This page was built for publication: Preserving Dependent Choice