On Sequences of Homomorphisms Into Measure Algebras and the Efimov Problem

Journal of Symbolic Logic 88 (1):191-218 (2023)
  Copy   BIBTEX

Abstract

For given Boolean algebras$\mathbb {A}$and$\mathbb {B}$we endow the space$\mathcal {H}(\mathbb {A},\mathbb {B})$of all Boolean homomorphisms from$\mathbb {A}$to$\mathbb {B}$with various topologies and study convergence properties of sequences in$\mathcal {H}(\mathbb {A},\mathbb {B})$. We are in particular interested in the situation when$\mathbb {B}$is a measure algebra as in this case we obtain a natural tool for studying topological convergence properties of sequences of ultrafilters on$\mathbb {A}$in random extensions of the set-theoretical universe. This appears to have strong connections with Dow and Fremlin’s result stating that there are Efimov spaces in the random model. We also investigate relations between topologies on$\mathcal {H}(\mathbb {A},\mathbb {B})$for a Boolean algebra$\mathbb {B}$carrying a strictly positive measure and convergence properties of sequences of measures on$\mathbb {A}$.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Maharam algebras.Boban Veličković - 2009 - Annals of Pure and Applied Logic 158 (3):190-202.
An Efimov space with character less than s.Alan Dow - 2021 - Annals of Pure and Applied Logic 172 (5):102906.
Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
On well-generated Boolean algebras.Robert Bonnet & Matatyahu Rubin - 2000 - Annals of Pure and Applied Logic 105 (1-3):1-50.
Boolean sentence algebras: Isomorphism constructions.William P. Hanf & Dale Myers - 1983 - Journal of Symbolic Logic 48 (2):329-338.
Metric Boolean algebras and constructive measure theory.Thierry Coquand & Erik Palmgren - 2002 - Archive for Mathematical Logic 41 (7):687-704.
Sheaf-theoretic representation of quantum measure algebras.Elias Zafiris - 2006 - Journal of Mathematical Physics 47 (9).
Automatic continuity of group homomorphisms.Christian Rosendal - 2009 - Bulletin of Symbolic Logic 15 (2):184-214.

Analytics

Added to PP
2022-09-15

Downloads
8 (#1,291,989)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Convergence of measures after adding a real.Damian Sobota & Lyubomyr Zdomskyy - 2023 - Archive for Mathematical Logic 63 (1):135-162.

Add more citations

References found in this work

Small cardinals and small Efimov spaces.Will Brian & Alan Dow - 2022 - Annals of Pure and Applied Logic 173 (1):103043.
Complete metric Boolean algebras.A. N. Kolmogorov - 1995 - Philosophical Studies 77 (1):57 - 66.
Convergent sequences in topological groups.Michael Hrušák & Alexander Shibakov - 2021 - Annals of Pure and Applied Logic 172 (5):102910.
A simple indeterminate infinite game.Damian Niwinski & Eryk Kopczynski - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 205-212.

Add more references