Computer Science – Logic in Computer Science
Scientific paper
2010-06-02
EPTCS 24, 2010, pp. 19-28
Computer Science
Logic in Computer Science
Scientific paper
10.4204/EPTCS.24.7
Given a measurable space (X, M) there is a (Galois) connection between sub-sigma-algebras of M and equivalence relations on X. On the other hand equivalence relations on X are closely related to congruences on stochastic relations. In recent work, Doberkat has examined lattice properties of posets of congruences on a stochastic relation and motivated a domain-theoretic investigation of these ordered sets. Here we show that the posets of sub-sigma-algebras of a measurable space do not enjoy desired domain-theoretic properties and that our counterexamples can be applied to the set of smooth equivalence relations on an analytic space, thus giving a rather unsatisfactory answer to Doberkat's question.
No associations
LandOfFree
A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract) will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-512893