HAL : hal-00350211, version 1

DOI : 10.1016/j.tcs.2006.07.047

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Theoretical Computer Science 365, 3 (2006) 171-183

Projective topology on bifinite domains and applications

Samy Abbes 1, Klaus Keimel 2

(2006)

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.

1 :	Preuves, Programmes et Systèmes (PPS)
	CNRS : UMR7126 – Université Paris VII - Paris Diderot
2 :	Technische Universität Darmstadt
	Technische Universität Darmstadt

Domaine

:

Informatique/Réseaux et télécommunications

Mots Clés : Bifinite domains – Continuous valuations – Radon measures – Maximal elements

hal-00350211, version 1

http://hal.archives-ouvertes.fr/hal-00350211

oai:hal.archives-ouvertes.fr:hal-00350211

Contributeur : Samy Abbes <>

Soumis le : Mardi 6 Janvier 2009, 11:16:57

Dernière modification le : Mardi 6 Janvier 2009, 11:18:54