Topologies for intermediate logics |
| |
Authors: | Olivia Caramello |
| |
Institution: | Institut des Hautes études Scientifiques, , 91440 Bures‐sur‐Yvette, France |
| |
Abstract: | We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an elementary topos for a wide class of intermediate logics. |
| |
Keywords: | |
|
|