A Characterization of Boolean Algebras

Author(s):  
Garrett Birkhoff ◽  
Morgan Ward
Keyword(s):  
1979 ◽  
Vol 2 (1) ◽  
pp. 63-70
Author(s):  
Tadeusz Traczyk

The notion of numerical characterization of Boolean algebras and coproducts are used to define information systems and to develop the theory of such systems.


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

1969 ◽  
Vol 21 ◽  
pp. 884-894 ◽  
Author(s):  
C. C. Chen ◽  
G. Grätzer

Stone lattices were (named and) first studied in 1957 (5). Since then, a great number of papers have been written on Stone lattices and a very satisfactory theory evolved. Despite the fact that all chains with 0, 1 as well as all Boolean algebras are Stone lattices, it turns out that many of the nice theorems on Boolean algebras have analogues, in fact, generalizations for Stone lattices. To give just two examples: the characterization of Boolean algebras in terms of prime ideals (Nachbin (6)) is generalized in (5) (see also (9)); Stone's representation theory (8) is generalized in (4); see also (2).


1991 ◽  
Vol 28 (3) ◽  
pp. 339-348 ◽  
Author(s):  
Alain Touraille
Keyword(s):  

1971 ◽  
Vol 4 (2) ◽  
pp. 163-178 ◽  
Author(s):  
G. Davis

The rings of this paper are assumed to have relations of orthogonality defined on them. Such relations are uniquely determined by complete boolean algebras of ideals. Using the Stone space of these boolean algebras, and following J. Dauns and K.H. Hofmann, a sheaf-theoretic representation is obtained for rings with orthogonality relations, and the rings of global sections of these sheaves are characterized. Baer rings, f–rings and commutative semi-prime rings have natural orthogonality relations and among these the Baer rings are isomorphic to their associated rings of global sections. A special type of ideal is singled out in commutative semi-prime rings and following G. Spirason and E. Strzelecki, in an unpublished note, a characterization of a class of such rings is obtained.


1994 ◽  
Vol 59 (1) ◽  
pp. 302-310 ◽  
Author(s):  
Sakaé Fuchino

AbstractA Boolean algebra B is said to be openly generated if {A : A ≤rcB, ∣A∣ = ℵ0} includes a club subset of . We show:(V = L). For any cardinal κ there exists an L∞κ-free Boolean algebra which is not openly generated (Proposition 4.1).(MA+(σ-closed)). Every -free Boolean algebra is openly generated (Theorem 4.2).The last assertion follows from a characterization of openly generated Boolean algebras under MA+(σ-closed) (Theorem 3.1). Using this characterization we also prove the independence of problem 7 in Ščepin [15] (Proposition 4.3 and Theorem 4.4).


Sign in / Sign up

Export Citation Format

Share Document