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 7109524 - MaRDI portal

scientific article; zbMATH DE number 7109524

From MaRDI portal

Publication:5197387

Jump to:navigation, search

DOI10.2143/LEA.242.0.3284751zbMath1436.03314MaRDI QIDQ5197387

Andrei Rodin

Publication date: 23 September 2019

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

zbMATH Keywords

constructive mathematics axiomatic method topos theory homotopy type theory Euclid

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Other constructive mathematics (03F65) Type theory (03B38)

Related Items (2)

Models of HoTT and the Constructive View of Theories ⋮ A meaning explanation for HoTT

This page was built for publication:

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