Published online by Cambridge University Press: 20 November 2018
Let B be a Boolean algebra and let ℳ and n be two systems of subsets of B, both containing all finite subsets of B. Let us assume further that the join ∨M of every set M∊ℳ and the meet ∧N of every set N∊n exist. Several authors have treated the question under which conditions there exists an isomorphism φ between B and a field δ of sets, satisfying the conditions:
1 We denote by "∨, ∧" the lattice theoretical operations, by "∪, ∩" the corresponding set theoretical operations.
2 See Sikorski, Boolean algebras, Berlin-G?ttingen-Heidelberg 1960, pp. 79 ff and the literature cited there.
3 See Sikorski, loc. cit. p. 93, D).
4 See Sikorski, loc. cit., p. 80, 24. 1.