Topologies for intermediate logics
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2012
- DOI:
- 10.48550/arXiv.1205.2547
- arXiv:
- arXiv:1205.2547
- Bibcode:
- 2012arXiv1205.2547C
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Logic;
- 03G30;
- 03C35;
- 18C10;
- 18B25
- E-Print:
- 21 pages