scholarly journals On countably closed complete Boolean algebras

1996 ◽  
Vol 61 (4) ◽  
pp. 1380-1386
Author(s):  
Thomas Jech ◽  
Saharon Shelah

AbstractIt is unprovable that every complete subalgebra of a countably closed complete Boolean algebra is countably closed.

2003 ◽  
Vol 67 (2) ◽  
pp. 297-303 ◽  
Author(s):  
J. Bonet ◽  
W. J. Ricker

Conditions are presented which ensure that an abstractly σ-complete Boolean algebra of projections on a (DF)-space or on an (LF)-space is necessarily equicontinuous and/or the range of a spectral measure. This is an extension, to a large and important class of locally convex spaces, of similar and well known results due to W. Bade (respectively, B. Walsh) in the setting of normed (respectively metrisable) spaces.


Filomat ◽  
2016 ◽  
Vol 30 (13) ◽  
pp. 3389-3395
Author(s):  
Milos Kurilic ◽  
Boris Sobot

The games G2 and G3 are played on a complete Boolean algebra B in ?-many moves. At the beginning White picks a non-zero element p of B and, in the n-th move, White picks a positive pn < p and Black chooses an in ? {0,1}. White wins G2 iff lim inf pin,n = 0 and wins G3 iff W A?[?]? ? n?A pin,n = 0. It is shown that White has a winning strategy in the game G2 iff White has a winning strategy in the cut-and-choose game Gc&c introduced by Jech. Also, White has a winning strategy in the game G3 iff forcing by B produces a subset R of the tree <?2 containing either ??0 or ??1, for each ? ? <?2, and having unsupported intersection with each branch of the tree <?2 belonging to V. On the other hand, if forcing by B produces independent (splitting) reals then White has a winning strategy in the game G3 played on B. It is shown that ? implies the existence of an algebra on which these games are undetermined.


1983 ◽  
Vol 48 (3) ◽  
pp. 841-846 ◽  
Author(s):  
J.L. Bell

The Sikorski Extension Theorem [6] states that, for any Boolean algebra A and any complete Boolean algebra B, any homomorphism of a subalgebra of A into B can be extended to the whole of A. That is,Inj: Any complete Boolean algebra is injective (in the category of Boolean algebras).The proof of Inj uses the axiom of choice (AC); thus the implication AC → Inj can be proved in Zermelo-Fraenkel set theory (ZF). On the other hand, the Boolean prime ideal theoremBPI: Every Boolean algebra contains a prime ideal (or, equivalently, an ultrafilter)may be equivalently stated as:The two element Boolean algebra 2 is injective,and so the implication Inj → BPI can be proved in ZF.In [3], Luxemburg surmises that this last implication cannot be reversed in ZF. It is the main purpose of this paper to show that this surmise is correct. We shall do this by showing that Inj implies that BPI holds in every Boolean extension of the universe of sets, and then invoking a recent result of Monro [5] to the effect that BPI does not yield this conclusion.


1975 ◽  
Vol 19 (3) ◽  
pp. 287-289
Author(s):  
P. G. Spain

Bade, in (1), studied Boolean algebras of projections on Banach spaces and showed that a σ-complete Boolean algebra of projections on a Banach space enjoys properties formally similar to those of a Boolean algebra of projections on Hilbert space. (His exposition is reproduced in (7: XVII).) Edwards and Ionescu Tulcea showed that the weakly closed algebra generated by a σ-complete Boolean algebra of projections can be represented as a von Neumann algebra; and that the representation isomorphism can be chosen to be norm, weakly, and strongly bicontinuous on bounded sets (8): Bade's results were then seen to follow from their Hilbert space counterparts. I show here that it is natural to relax the condition of σ-completeness to weak relative compactness; indeed, a Boolean algebra of projections has σ-completion if and only if it is weakly relatively compact (Theorem 1). Then, following the derivation of the theorem of Edwards and Ionescu Tulcea from the Vidav characterisation of abstract C*-algebras (see (9)), I give a result (Theorem 2) which, with its corollary, includes (1: 2.7, 2.8, 2.9, 2.10, 3.2, 3.3, 4.5).


Filomat ◽  
2019 ◽  
Vol 33 (14) ◽  
pp. 4451-4459
Author(s):  
Milos Kurilic ◽  
Aleksandar Pavlovic

For the algebraic convergence ?s, which generates the well known sequential topology ?s on a complete Boolean algebra B, we have ?s = ?ls ? ?li, where the convergences ?ls and ?li are defined by ?ls(x) = {lim sup x}? and ?li(x) = {lim inf x+}? (generalizing the convergence of sequences on the Alexandrov cube and its dual). We consider the minimal topology Olsi extending the (unique) sequential topologies O?s (left) and O?li (right) generated by the convergences ?ls and ?li and establish a general hierarchy between all these topologies and the corresponding a priori and a posteriori convergences. In addition, we observe some special classes of algebras and, in particular, show that in (?,2)-distributive algebras we have limOlsi = lim?s = ?s, while the equality Olsi = ?s holds in all Maharam algebras. On the other hand, in some collapsing algebras we have a maximal (possible) diversity.


1980 ◽  
Vol 32 (4) ◽  
pp. 924-936 ◽  
Author(s):  
Marlow Anderson

Let G be a lattice-ordered group (l-group). If X ⊆ G, then letThen X’ is a convex l-subgroup of G called a polar. The set P(G) of all polars of G is a complete Boolean algebra with ‘ as complementation and set-theoretic intersection as meet. An l-subgroup H of G is large in G (G is an essential extension of H) if each non-zero convex l-subgroup of G has non-trivial intersection with H. If these l-groups are archimedean, it is enough to require that each non-zero polar of G meets H. This implies that the Boolean algebras of polars of G and H are isomorphic. If K is a cardinal summand of G, then K is a polar, and we write G = K⊞K'.


2004 ◽  
Vol 77 (3) ◽  
pp. 365-370 ◽  
Author(s):  
J. Diestel ◽  
W. J. Ricker

AbstractThis note improves two previous results of the second author. They turn out to be special cases of our main theorem which states: A Banach space X has the property that the strong closure of every abstractly σ-complete Boolean algebra of projections in X is Bade complete if and only if X does not contain a copy of the sequence space ℓ∞.


1977 ◽  
Vol 42 (1) ◽  
pp. 64-76 ◽  
Author(s):  
Petr Štěpánek ◽  
Bohuslav Balcar

The existence of complete rigid Boolean algebras was first proved by McAloon [8] who also showed that every Boolean algebra can be completely embedded in a rigid complete Boolean algebra. McAloon was interested in consistency results on ordinal definable sets. His approach was based on forcing. Recently, Shelah [10] proved that for every uncountable cardinal κ there exists a Boolean algebra of power κ with rigid completion. Extending his method, we get the following theorems.Theorem 1. Any Boolean algebra B can be completely embedded in a complete Boolean algebra C with no nontrivial σ-complete one-one endomor-phism. If B satisfies the κ-chain condition for an uncountable cardinal κ, the same holds true for C.Since every automorphism is a complete endomorphism, it follows from Theorem 1 that C is rigid. The other extreme case of Boolean algebras are homogeneous algebras. It was proved by Kripke [7] that every Boolean algebra can be completely embedded in a homogeneous complete Boolean algebra. In his proof, the homogeneous algebra contains antichains of cardinality equal to the power of the embedded Boolean algebra. The following result shows that this is essential: the analogue of Theorem 1 is not provable in set theory even for Boolean algebras with a very weak homogeneity property. We use a Suslin tree with particular properties constructed by Jensen [6] in conjunction with a forcing argument.


1970 ◽  
Vol 3 (1) ◽  
pp. 65-72 ◽  
Author(s):  
Denis Higgs

It is remarked that, if A is a complete boolean algebra and δ is an A-valued equivalence relation on a non-empty set I, then the set of δ-extensional functions from I to A can be regarded as a complete boolean algebra extension of A and a characterization is given of the complete extensions which arise in this way.


1981 ◽  
Vol 22 (1) ◽  
pp. 73-75 ◽  
Author(s):  
T. A. Gillespie

It is known that every complete Boolean algebra of projections on a Banach space X is strongly closed and bounded and that, although the converse of this result fails in general, it is valid if X is weakly sequentially complete [1, XVII. 3, pp. 2194–2201]. In the present note it is shown that this converse is in fact valid precisely when X contains no subspace isomorphics to the sequence space c0. More explicitly, the following two results are proved. In both, X may be a real or complex space, but c0 will consist of the null sequences in the underlying scalar field.


Sign in / Sign up

Export Citation Format

Share Document