LOGIKSEMINARIET STOCKHOLM-UPPSALA


Steve Awodey (Carnegie Mellon University)

   Topology and Modality

Onsdag 7 maj kl 14.00 i rum Å12167,
Ångströmlaboratoriet, Uppsala


Abstract: In the 1940s, Tarski showed how to interpret
propositional modal logic using the operation of interior in a
topological space as the necessity operator.  Here it is shown how
to extend that interpretation to all of first-order logic using
sheaves on the space to interpret arbitrary predicates.  Completeness
is established by sheaf-theoretic methods generalizing the Stone
representation theorem. Joint work with Kohei Kishida.