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
A transfer principle for second-order arithmetic, and applications - MaRDI portal

A transfer principle for second-order arithmetic, and applications

From MaRDI portal

Publication:6299956

Jump to:navigation, search

zbMath1511.03019arXiv1804.01573MaRDI QIDQ6299956

Merlin Carl, Asgar Jamneshan

Publication date: 4 April 2018

Mathematics Subject Classification ID

Set-valued set functions and measures; integration of set-valued functions; measurable selections (28B20) Selections in general topology (54C65) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

This page was built for publication: A transfer principle for second-order arithmetic, and applications

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