Representing real numbers in denumerable Boolean algebras
William Hanf (1976)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “An extension of a theorem of Gaifman-Hales-Solvay”
Representing real numbers in denumerable Boolean algebras
Representation and distributivity of Boolean algebras
Roman Sikorski (1961)
Colloquium Mathematicum
Similarity:
Large Subalgebras of a Boolean Algebra
Slobodan Vujošević (1989)
Publications de l'Institut Mathématique
Similarity:
Compact Boolean algebras
Wiesław Głowczyński (2005)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Separation properties and Boolean powers
Steven Garavaglia, J. M. Plotkin (1984)
Colloquium Mathematicae
Similarity:
A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras
W. Luxemburg (1964)
Fundamenta Mathematicae
Similarity:
The notion of an elementary subsystem for a Boolean-valued relational system
L. Szczerba (1973)
Fundamenta Mathematicae
Similarity:
On Boolean modus ponens.
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].