BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We investigate the sequential topology τs on a complete Boolean algebra B determined by algebraically convergent sequences in B. We show the role of weak distributivity of B in separation axioms for the sequential topology. The main result is that a necessary and sufficient condition for B to carry a strictly positive Maharam submeasure is that B is ccc and that the space (B,τs) is Hausdorff. We also characterize sequential cardinals.
It is unprovable that every complete subalgebra of a countably closed complete Boolean algebra is countably closed.
We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of Cohen algebras: semi-Cohen algebras, pseudo-Cohen algebras and potentially Cohen algebras. These classes of Boolean algebras are closed under completion.
There exists a family {Bα}α<ω1 of sets of countable ordinals such that o maxBα=α, o if α∈Bβ then Bα⊆Bβ, o if λ≤α and λ is a limit ordinal then Bα∩λ is not in the ideal generated by the Bβ, β<α, and by the bounded subsets of λ, o there is a partition {An}n=0∞ of ω1 such that for every α and every n, Bα∩An is finite.
We consider algebras with one binary operation ⋅ and one generator ({\it monogenic}) and satisfying the left distributive law a⋅(b⋅c)=(a⋅b)⋅(a⋅c). One can define a sequence of finite left-distributive algebras An, and then take a limit to get an infinite monogenic left-distributive algebra~A∞. Results of Laver and Steel assuming a strong large cardinal axiom imply that A∞ is free; it is open whether the freeness of A∞ can be proved without the large cardinal assumption, or even in Peano arithmetic. The main result of this paper is the equivalence of this problem with the existence of a certain algebra of increasing functions on natural numbers, called an {\it embedding algebra}. Using this and results of the first author, we conclude that the freeness of A∞ is unprovable in primitive recursive arithmetic.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.