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
Realisability for Infinitary Intuitionistic Set Theory - MaRDI portal

Realisability for Infinitary Intuitionistic Set Theory

From MaRDI portal

Publication:6349871

Jump to:navigation, search

DOI10.1016/J.APAL.2023.103259arXiv2009.12172MaRDI QIDQ6349871

Merlin Carl, Lorenzo Galeotti, Robert Paßmann

Publication date: 25 September 2020

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

This page was built for publication: Realisability for Infinitary Intuitionistic Set Theory

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