2012/05/11 by Olivia Caramello, Caramello, Olivia
Computer Science · Mathematics · #03C35 #03G30 #18B25 #18C10 #Advanced Algebra and Logic #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.1205.2547
openalex publication_date 2012/05/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.