Lattices of theories

Simple item page
dc.creatorCaramello, Olivia
dc.date2009-05-04
dc.date.accessioned2026-07-07T13:11:22Z
dc.date.available2026-07-07T13:11:22Z
dc.descriptionWe show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quotients' of the theory T; next, we analyze how classical topos-theoretic constructions on the lattice of subtoposes of a given topos can be transferred, via the bijection above, to logical constructions in the corresponding lattice of theories.
dc.description84 pages
dc.identifierhttps://arxiv.org/abs/0905.0299
dc.identifierhttp://arxiv.org/abs/0905.0299
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229267
dc.subjectCategory Theory
dc.subjectLogic
dc.subject03G30; 18C10; 18B25
dc.titleLattices of theories
dc.typetext

Files

Collections

arXiv