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

scientific article; zbMATH DE number 937395

From MaRDI portal

Publication:4896536

Jump to:navigation, search

zbMath0862.03036MaRDI QIDQ4896536

Silvio Valentini

Publication date: 20 October 1996

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

zbMATH Keywords

constructive approach to topology completeness theorem for formal topologies Martin Löf's intuitionistic theory of types

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication:

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