An axiomatic characterization of Boolean-valued models for set theory
A. Kościelski (1973)
Colloquium Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On combined nonstandard methods in functional analysis.”
An axiomatic characterization of Boolean-valued models for set theory
Measure-determined enlargements of Boolean -algebras
Pavel Pták (1990)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The notion of an elementary subsystem for a Boolean-valued relational system
L. Szczerba (1973)
Fundamenta Mathematicae
Similarity:
Boolean-valued selectors for families of sets
B. Węglorz (1974)
Fundamenta Mathematicae
Similarity:
On dense subsets of Boolean algebras
Roman Sikorski (1963)
Colloquium Mathematicae
Similarity:
Algebraic logic, I. Monadic boolean algebras
Paul R. Halmos (1954-1956)
Compositio Mathematica
Similarity:
A new proof for the multiplicative property of the boolean cumulants with applications to the operator-valued case
Mihai Popa (2009)
Colloquium Mathematicae
Similarity:
The paper presents several combinatorial properties of the boolean cumulants. A consequence is a new proof of the multiplicative property of the boolean cumulant series that can be easily adapted to the case of boolean independence with amalgamation over an algebra.
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].
Representation and distributivity of Boolean algebras
Roman Sikorski (1961)
Colloquium Mathematicum
Similarity: