Did you mean: Fossil, Henri
  1. Henrik Forssell (2012). Topological Representation of Geometric Theories. Mathematical Logic Quarterly 58 (6):380-393.
    Using Butz and Moerdijk's topological groupoid representation of a topos with enough points, a ‘syntax-semantics’ duality for geometric theories is constructed. The emphasis is on a logical presentation, starting with a description of the semantic topological groupoid of models and isomorphisms of a theory. It is then shown how to extract a theory from equivariant sheaves on a topological groupoid in such a way that the result is a contravariant adjunction between theories and groupoids, the restriction of which is a (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation