𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Metric Boolean algebras and constructive measure theory

✍ Scribed by Thierry Coquand; Erik Palmgren

Publisher
Springer
Year
2002
Tongue
English
Weight
142 KB
Volume
41
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Boolean algebras: Convergence and measur
Boolean algebras: Convergence and measure
✍ Roman Frič πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 115 KB

We study topological and categorical aspects of the extension of Οƒ -additive measures from a field of sets to the generated Οƒ -field within a category of Boolean algebras carrying initial sequential convergences with respect to 2-valued homomorphisms. We describe the relationship between Οƒadditivity

Boolean Valued and Stone Algebra Valued
Boolean Valued and Stone Algebra Valued Measure Theories
✍ Hirokazu Nishimura πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 402 KB

## Abstract In conventional generalization of the main results of classical measure theory to Stone algebra valued measures, the values that measures and functions can take are Booleanized, while the classical notion of a σ‐field is retained. The main purpose of this paper is to show by abundace of

Boolean Algebras and Distributive Lattic
Boolean Algebras and Distributive Lattices Treated Constructively
✍ John L. Bell πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 546 KB

## Abstract Some aspects of the theory of Boolean algebras and distributive lattices–in particular, the Stone Representation Theorems and the properties of filters and ideals–are analyzed in a constructive setting.

Special subsets of cf(ΞΌ)ΞΌ, Boolean algeb
Special subsets of cf(ΞΌ)ΞΌ, Boolean algebras and Maharam measure algebras
✍ Saharon Shelah πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 792 KB

The original theme of the paper is the existence proof of "there is Ξ· = Ξ· Ξ± : Ξ± < Ξ» which is a (Ξ», J )-sequence for Δͺ = I i : i < Ξ΄ , a sequence of ideals". This can be thought of as a generalization to Luzin sets and Sierpinski sets, but for the product i<Ξ΄ dom(I i ), the existence proofs are relat