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
scientific article; zbMATH DE number 7080197 - MaRDI portal

scientific article; zbMATH DE number 7080197

From MaRDI portal

Publication:4968383

Jump to:navigation, search

MaRDI QIDQ4968383

Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini

Publication date: 12 July 2019

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completion realizability Lawvere hyperdoctrine formal Church thesis

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55)

Related Items

A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS

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