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:3335779

Jump to:navigation, search

zbMath0545.03036MaRDI QIDQ3335779

Michael Paul Fourman

Publication date: 1982

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

zbMATH Keywords

topoi intuitionism Grothendieck topology choice sequences lawless sequences sheaf models Beth model

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Intuitionistic mathematics (03F55)

Related Items (3)

A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ Unnamed Item ⋮ Higher order functions and Brouwer’s thesis

This page was built for publication:

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