134 citations · 234 across the 10 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
Topos Semantics for Higher-Order Modal Logic
Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch
We define the notion of a model of higher-order modal logic in an arbitrary elementary topos . In contrast to the well-known interpretation of (non-modal) higher-order…
math.LO2014★ 4 cited
Scheme representation for first-order logic
Spencer Breiner
Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink…