Which distributive lattices are lattices of closed sets?

1959 ◽  
Vol 55 (2) ◽  
pp. 172-176 ◽  
Author(s):  
S. Papert
Keyword(s):  
Boolean Algebra ◽  
Complete Lattice ◽  
Boolean Algebras ◽  
Natural Order ◽  
Distributive Lattices ◽  
Real Numbers ◽  
Closed Sets ◽  
Order Form ◽  
Completely Distributive ◽  
Obvious Generalization

1. An elegant theorem due to Tarski states that a completely distributive complete Boolean algebra is isomorphic with a lattice of sets, and in fact the lattice of all the subsets of some aggregate. The obvious generalization of the question underlying this theorem is to ask whether one can pick out by means of a distributivity condition those lattices (not necessarily Boolean algebras) which are isomorphs of lattices of sets. The answer is no. The real numbers with their natural order form a complete lattice which satisfies the strongest possible distributivity conditions and yet is not iso-morphic with any lattice of sets.

scholarly journals CHOICE-FREE STONE DUALITY

2019 ◽  
Vol 85 (1) ◽  
pp. 109-148
Author(s):  
NICK BEZHANISHVILI ◽  
WESLEY H. HOLLIDAY
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Stone Space ◽  
Spectral Space ◽  
Topological Representation ◽  
Stone Duality ◽  
Closed Sets ◽  
Spectral Spaces ◽  
Basic Facts ◽  
Regular Open

AbstractThe standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form a Boolean algebra. We prove without choice principles that any Boolean algebra arises from a special spectral space X via the compact regular open sets of X; these sets may also be described as those that are both compact open in X and regular open in the upset topology of the specialization order of X, allowing one to apply to an arbitrary Boolean algebra simple reasoning about regular opens of a separative poset. Our representation is therefore a mix of Stone and Tarski, with the two connected by Vietoris: the relevant spectral spaces also arise as the hyperspace of nonempty closed sets of a Stone space endowed with the upper Vietoris topology. This connection makes clear the relation between our point-set topological approach to choice-free Stone duality, which may be called the hyperspace approach, and a point-free approach to choice-free Stone duality using Stone locales. Unlike Stone’s representation of Boolean algebras via Stone spaces, our choice-free topological representation of Boolean algebras does not show that every Boolean algebra can be represented as a field of sets; but like Stone’s representation, it provides the benefit of a topological perspective on Boolean algebras, only now without choice. In addition to representation, we establish a choice-free dual equivalence between the category of Boolean algebras with Boolean homomorphisms and a subcategory of the category of spectral spaces with spectral maps. We show how this duality can be used to prove some basic facts about Boolean algebras.

Yap Hian Poh. Postulational study of an axiom system of Boolean algebra. Majallah Tahunan 'Ilmu Pasti—Shu Hsüeh Nien K'an—Bulletin of Mathematical Society of Nanyang University (1960), pp. 94–110. - R. M. Dicker. A set of independent axioms for Boolean algebra. Proceedings of the London Mathematical Society, ser. 3 vol. 13 (1963), pp. 20–30. - P. J. van Albada. A self-dual system of axioms for Boolean algebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A vol. 67 (1964), pp. 377–381; also Indagationes mathematicae, vol. 26 (1964), pp. 377–381. - Antonio Diego and Alberto Suárez. Two sets of axioms for Boolean algebras. Portugaliae mathematica, vol. 23 nos. 3–4 (for 1964, pub. 1965), pp. 139–145. (Reprinted from Notas de lógica matemática no. 16, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca 1964, 13 pp.) - P. J. van Albada. Axiomatique des algèbres de Boole. Bulletin de la Société Mathématique de Belgique, vol. 18 (1966), pp. 260–272. - Lawrence J. Dickson. A short axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 6 (1967), pp. 253–257. - Leroy J. Dickey. A shorter axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 8 (1968), p. 336. - Chinthayamma . Independent postulate sets for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 9 (1968), pp. 378–379. - Kiyoshi Iséki. A simple characterization of Boolean rings. Proceedings of the Japan Academy, vol. 44 (1968), pp. 923–924. - Sakiko Ôhashi. On definitions of Boolean rings and distributive lattices. Proceedings of the Japan Academy, vol. 44 (1968), pp. 1015–1017.

1973 ◽  
Vol 38 (4) ◽  
pp. 658-660
Author(s):  
Donald H. Potts
Keyword(s):  
Boolean Algebra ◽  
London Mathematical Society ◽  
Axiom System ◽  
Dual System ◽  
Boolean Algebras ◽  
Axiomatic System ◽  
Mathematical Society ◽  
Distributive Lattices ◽  
Boolean Rings

scholarly journals On coabsolute paracompact spaces

1979 ◽  
Vol 27 (2) ◽  
pp. 248-256 ◽  
Author(s):  
Catherine L. Gates
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Hausdorff Spaces ◽  
Locally Compact ◽  
Algebra Isomorphism ◽  
Closed Sets ◽  
Local Finiteness ◽  
Paracompact Spaces ◽  
Regular Closed

AbstractWe are interested in determining whether two spaces are coabsolute by comparing their Boolean algebras of regular closed sets. It is known that when the spaces are compact Hausdorff they are coabsolute precisely when the Boolean algebras of regular closed sets are isomorphic; but in general this condition is not strong enough to insure that the spaces be coabsolute. In this paper we show that for paracompact Hausdorff spaces, the spaces are coabsolute when the Boolean algebra isomorphism and its inverse ‘preserve’ local finiteness, and for locally compact paracompact Hausdorff spaces, the spaces are coabsolute when the collections of compact regular closed subsets are ‘isomorphic’.

scholarly journals CountablyQC-Approximating Posets

2014 ◽  
Vol 2014 ◽  
pp. 1-5
Author(s):  
Xuxin Mao ◽  
Luoshan Xu
Keyword(s):  
Complete Lattice ◽  
Distributive Lattices ◽  
Completely Distributive

As a generalization of countablyC-approximating posets, the concept of countablyQC-approximating posets is introduced. With the countablyQC-approximating property, some characterizations of generalized completely distributive lattices and generalized countably approximating posets are given. The main results are as follows: (1) a complete lattice is generalized completely distributive if and only if it is countablyQC-approximating and weakly generalized countably approximating; (2) a posetLhaving countably directed joins is generalized countably approximating if and only if the latticeσcLopof allσ-Scott-closed subsets ofLis weakly generalized countably approximating.

scholarly journals Imbedding Infinitely Distributive Lattices Completely Isomorphically Into Boolean Algebras

1959 ◽  
Vol 15 ◽  
pp. 71-81 ◽  
Author(s):  
Nenosuke Funayama
Keyword(s):  
Boolean Algebra ◽  
Distributive Lattice ◽  
Boolean Algebras ◽  
The Other ◽  
Distributive Lattices ◽  
Algebra 1 ◽  
Infinite Distributivity ◽  
Distributive Law ◽  
Finite Sums ◽  
Finite Products

It is well known that any distributive lattice can be imbedded in a Boolean algebra ([1], [2], [4] and others). This imbedding is in general only finitely isomorphic in the sense that the imbedding preserves finite sums (supremums) and finite products (infimums) (but not necessarily infinite ones). Indeed, in order to be able to be imbedded into a Boolean algebra completely isomorphically (i.e. preserving every supremum and infimum) a distributive lattice L must satisfy the infinite distributive law, as the infinite distributivity holds in Boolean algebras. The main purpose of this paper is to prove that the converse is also true, that is, any infinitely distributive lattice can be imbedded completely isomorphically in a Boolean algebra (Theorem 6). Since we show, on the other hand, that any relatively complemented distribu tive lattice is infinitely distributive (Theorem 2), Theorem 6 implies that every relatively complemented distributive lattice can be imbedded completely isomorphically in a Boolean algebra (Theorem 4).

Profinite Heyting Algebras and Profinite Completions of Heyting Algebras

2009 ◽  
Vol 16 (1) ◽  
pp. 29-47
Author(s):  
Guram Bezhanishvili ◽  
Patrick J. Morandi
Keyword(s):  
Boolean Algebra ◽  
Distributive Lattice ◽  
Heyting Algebra ◽  
Boolean Algebras ◽  
Distributive Lattices ◽  
Heyting Algebras ◽  
Profinite Completion ◽  
Bounded Distributive Lattice ◽  
Recent Developments ◽  
Profinite Completions

Abstract This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to the profinite completion of a Heyting algebra (resp. bounded distributive lattice). This results in simple examples of profinite bounded distributive lattices that are not isomorphic to the profinite completion of any bounded distributive lattice. We also show that each profinite Boolean algebra is isomorphic to the profinite completion of some Boolean algebra. It is still an open question whether each profinite Heyting algebra is isomorphic to the profinite completion of some Heyting algebra.

On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers

1980 ◽  
Vol 45 (2) ◽  
pp. 265-283 ◽  
Author(s):  
Matatyahu Rubin ◽  
Saharon Shelah
Keyword(s):  
Boolean Algebra ◽  
Automorphism Groups ◽  
Order Logic ◽  
Boolean Algebras ◽  
First Order Logic ◽  
Elementary Equivalence ◽  
First Order ◽  
Finite Models ◽  
Countably Compact

AbstractTheorem 1. (◊ℵ1,) If B is an infinite Boolean algebra (BA), then there is B1, such that ∣ Aut (B1) ≤∣B1∣ = ℵ1 and 〈B1, Aut (B1)〉 ≡ 〈B, Aut(B)〉.Theorem 2. (◊ℵ1) There is a countably compact logic stronger than first-order logic even on finite models.This partially answers a question of H. Friedman. These theorems appear in §§1 and 2.Theorem 3. (a) (◊ℵ1) If B is an atomic ℵ-saturated infinite BA, Ψ Є Lω1ω and 〈B, Aut (B)〉 ⊨Ψ then there is B1, Such that ∣Aut(B1)∣ ≤ ∣B1∣ =ℵ1, and 〈B1, Aut(B1)〉⊨Ψ. In particular if B is 1-homogeneous so is B1. (b) (a) holds for B = P(ω) even if we assume only CH.

Sign in / Sign up

Export Citation Format

Share Document