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
On supercompactness of $\omega_1$ - MaRDI portal

On supercompactness of $\omega_1$

From MaRDI portal

Publication:6316612

Jump to:navigation, search

DOI10.1007/978-981-16-4173-2_2arXiv1904.01815MaRDI QIDQ6316612

Daisuke Ikegami, Nam Trang

Publication date: 3 April 2019

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) General logic (03Bxx) Determinacy principles (03E60) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

This page was built for publication: On supercompactness of $\omega_1$

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