scholarly journals On the lattice of subalgebras of a Boolean algebra

1972 ◽  
Vol 36 (1) ◽  
pp. 87-87
Author(s):  
G. Gr{ätzer ◽  
K. M. Koh ◽  
M. Makkai
1962 ◽  
Vol 14 ◽  
pp. 451-460 ◽  
Author(s):  
David Sachs

It is well known (1, p. 162) that the lattice of subalgebras of a finite Boolean algebra is dually isomorphic to a finite partition lattice. In this paper we study the lattice of subalgebras of an arbitrary Boolean algebra. One of our main results is that the lattice of subalgebras characterizes the Boolean algebra. In order to prove this result we introduce some notions which enable us to give a characterization and representation of the lattices of subalgebras of a Boolean algebra in terms of a closure operator on the lattice of partitions of the Boolean space associated with the Boolean algebra. Our theory then has some analogy to that of the lattice theory of topological vector spaces. Of some interest is the problem of classification of Boolean algebras in terms of the properties of their lattice of subalgebras, and we obtain some results in this direction.


1985 ◽  
Vol 32 (2) ◽  
pp. 177-193 ◽  
Author(s):  
Ivo Düntsch

We investigate the structure of the lattice of subalgebras of an infinite Boolean algebra; in particular, we make a contribution to the question as to when such a lattice is simple.


1989 ◽  
Vol 40 (3) ◽  
pp. 371-379
Author(s):  
Ivo Düntsch

Section 1 addresses the problem of covers in Sub D, the lattice of subalgebras of a Boolean algebra; we describe those BA's in whose subalgebra lattice every element has a cover, and show that every small and separable subalgebra of P(ω) has 2ω covers in SubP(ω). Section 2 is concerned with complements and quasicomplements. As a general result it is shown that Sub D is relatively complemented if and only if D is a finite– cofinite BA. Turning to Sub P(ω), we show that no small and separable D ≤ P(ω) can be a quasicomplement. In the final section, generalisations of packed algebras are discussed, and some properties of these classes are exhibited.


1972 ◽  
Vol 36 (1) ◽  
pp. 87 ◽  
Author(s):  
G. Gratzer ◽  
K. M. Koh ◽  
M. Makkai

1979 ◽  
Vol 29 (4) ◽  
pp. 530-545
Author(s):  
K. P. Bhaskara Rao ◽  
M. Bhaskara Rao

2005 ◽  
Vol 64 (9) ◽  
pp. 699-712
Author(s):  
Victor Filippovich Kravchenko ◽  
Miklhail Alekseevich Basarab
Keyword(s):  

Author(s):  
Andrew Bacon

This chapter presents a series questions in the philosophy of vagueness that will constitute the primary subjects of this book. The stance this book takes on these questions is outlined, and some preliminary ramifications are explored. These include the idea that (i) propositional vagueness is more fundamental than linguistic vagueness; (ii) propositions are not themselves sentence-like; they are coarse grained, and form a complete atomic Boolean algebra; (iii) vague propositions are, moreover, not simply linguistic constructions either such as sets of world-precisification pairs; and (iv) propositional vagueness is to be understood by its role in thought. Specific theses relating to the last idea include the thesis that one’s total evidence can be vague, and that there are vague propositions occupying every evidential role, that disagreements about the vague ultimately boil down to disagreements in the precise, and that one should not care intrinsically about vague matters.


Sign in / Sign up

Export Citation Format

Share Document