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
Type space functors and interpretations in positive logic - MaRDI portal

Type space functors and interpretations in positive logic

From MaRDI portal

Publication:6340231

Jump to:navigation, search

DOI10.1007/S00153-022-00825-7arXiv2005.03376MaRDI QIDQ6340231

Mark Kamsma

Publication date: 7 May 2020

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Categorical logic, topoi (03G30) Stone spaces (Boolean spaces) and related structures (06E15) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)

This page was built for publication: Type space functors and interpretations in positive logic

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