Scheme representation for first-order logic
Keyword(s):
My research concerns a construction of "logical schemes," geometric entitieswhich represent logical theories in much the same way that algebraic schemesrepresent rings. These involve two components: a semantic spectral spaceand a syntactic structure sheaf. As in the algebraic case, we can recover atheory from its scheme representation (up to a conservative completion) andthe structure sheaf is local in a certain logical sense. From these ane pieceswe can build up a 2-category of logical schemes which share some of the niceproperties of algebraic schemes.
2009 ◽
Vol 19
(12)
◽
pp. 3091-3099
◽
Keyword(s):
2019 ◽
Vol 29
(8)
◽
pp. 1311-1344
◽
Keyword(s):
Keyword(s):