A projective formalism applied to topoligical and probabilistic event structures

Overview & Synopsis

This paper introduces projective systems for topological and probabilistic event structures. The projective formalism is used for studying the domain of configurations of a prime event structure and its space of maximal elements. This is done both from a topological and from a probabilistic viewpoint. We give probability measure extension theorems in this framework.