A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras
W. Luxemburg (1964)
Fundamenta Mathematicae
Similarity:
W. Luxemburg (1964)
Fundamenta Mathematicae
Similarity:
Wright, F.B. (1957)
Portugaliae mathematica
Similarity:
Roman Sikorski (1961)
Colloquium Mathematicum
Similarity:
L. Szczerba (1973)
Fundamenta Mathematicae
Similarity:
Sergiu Rudeanu (1998)
Mathware and Soft Computing
Similarity:
An abstract form of modus ponens in a Boolean algebra was suggested in [1]. In this paper we use the general theory of Boolean equations (see e.g. [2]) to obtain a further generalization. For a similar research on Boolean deduction theorems see [3].
Bernhard Banaschewski (1993)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The functor taking global elements of Boolean algebras in the topos of sheaves on a complete Boolean algebra is shown to preserve and reflect injectivity as well as completeness. This is then used to derive a result of Bell on the Boolean Ultrafilter Theorem in -valued set theory and to prove that (i) the category of complete Boolean algebras and complete homomorphisms has no non-trivial injectives, and (ii) the category of frames has no absolute retracts.
Roman Sikorski (1963)
Colloquium Mathematicae
Similarity: