scientific article; zbMATH DE number 6290072

zbMath1307.18001MaRDI QIDQ5413231

Peter T. Johnstone

Publication date: 29 April 2014

Full work available at URL: http://www.emis.de/journals/TAC/volumes/28/32/28-32abs.html

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

zbMATH Keywords

Gleason coverrealizability toposde Morgan's law

Mathematics Subject Classification ID

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

Related Items (3)

Functoriality of modified realizability ⋮ Characterizing partitioned assemblies and realizability toposes ⋮ Models of intuitionistic set theory in subtoposes of nested realizability toposes

This page was built for publication: