Download PDFOpen PDF in browserScheme representation for first-order logic4 pages•Published: July 28, 2014AbstractMy research concerns a construction of "logical schemes," geometric entitieswhich represent logical theories in much the same way that algebraic schemes represent rings. These involve two components: a semantic spectral space and a syntactic structure sheaf. As in the algebraic case, we can recover a theory from its scheme representation (up to a conservative completion) and the structure sheaf is local in a certain logical sense. From these ane pieces we can build up a 2-category of logical schemes which share some of the nice properties of algebraic schemes. Keyphrases: category theory, first order logic, stone type dualities In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 10-13.
|