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

scientific article

From MaRDI portal

Publication:3947661

Jump to:navigation, search

zbMath0487.03033MaRDI QIDQ3947661

Ieke Moerdijk

Publication date: 1982

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

zbMATH Keywords

universal space intuitionistic predicate logic sheaf model

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (2)

Neighborhood-Sheaf Semantics for First-Order Modal Logic ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES

This page was built for publication:

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