Topologies for intermediate logics
Category Theory
2012-05-14 v1 Logic
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
Cite
@article{arxiv.1205.2547,
title = {Topologies for intermediate logics},
author = {Olivia Caramello},
journal= {arXiv preprint arXiv:1205.2547},
year = {2012}
}
Comments
21 pages