Projective topology on bifinite domains and applications

Authors:
Samy Abbes;Klaus Keimel
Affiliations:
LIAFA-Université Paris, France;Technische Universität Darmstadt, Germany
Venue:
Theoretical Computer Science - Spatial representation: Discrete vs. continous computational models
Year:
2006

Citing 1
Cited 3

True-concurrency probabilistic models branching cells and distributed probabilities for event structures

Information and Computation

Almost Every Domain is Universal

Electronic Notes in Theoretical Computer Science (ENTCS)
A projective formalism applied to topological and probabilistic event structures

Mathematical Structures in Computer Science
True-concurrency probabilistic models: Markov nets and a law of large numbers

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We revisit extension results from continuous valuations to Radon measures for bifinite domains. In the framework of bifinite domains, the Prokhorov theorem (existence of projective limits of Radon measures) appears as a natural tool, and helps building a bridge between Measure theory and Domain theory. The study we present also fills a gap in the literature concerning the coincidence between projective and Lawson topology for bifinite domains. Motivated by probabilistic considerations, we study the extension of measures in order to define Borel measures on the space of maximal elements of a bifinite domain.