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
A note on inequivalence of realizability toposes - MaRDI portal

A note on inequivalence of realizability toposes

From MaRDI portal

Publication:3826731

Jump to:navigation, search

DOI10.1017/S0305004100001304zbMath0673.18002OpenAlexW1977755268MaRDI QIDQ3826731

Edmund P. Robinson, Peter T. Johnstone

Publication date: 1989

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004100001304

zbMATH Keywords

effective topos partial applicative structures realizability toposes Schönfinkel algebras

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (1)

Functoriality of modified realizability

This page was built for publication: A note on inequivalence of realizability toposes

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