Results 191 to 200 of about 176,338 (220)

Boolean Algebra Retracts

Canadian Journal of Mathematics, 1971
A Boolean algebra B is a retract of an algebra A if there exist homomorphisms ƒ: B → A and g: A → B such that gƒ is the identity map B. Some important properties of retracts of Boolean algebras are stated in [3, §§ 30, 31, 32]. If A and B are a-complete, and A is α-generated by B, Dwinger [1, p.
openaire   +1 more source

Hierarchies of Boolean algebras

Journal of Symbolic Logic, 1970
A denumerable structure is said to be recursive iff its universe is a recursive subset of the natural numbers and its relations and operations are recursive. For example, the standard model of number theory is recursive. A structure is said to be recursively presentable iff it is isomorphic to a recursive structure.
openaire   +1 more source

Robbins algebra: Conditions that make a near-boolean algebra boolean

Journal of Automated Reasoning, 1990
Some problems posed years ago remain challenging today. In particular, the Robbins problem, which is still open and which is the focus of attention in this paper, offers interesting challenges for attack with the assistance of an automated reasoning program; for the study presented here, we used the program OTTER.
openaire   +2 more sources

Parallel Processing in Boolean Algebra

IEEE Transactions on Computers, 1972
A processor called Boolean analyzer has been presented at the 1968 IFIP Congress to introduce parallel processing of Boolean expressions [1]. The present paper shows how to increase its speed many times by making its processing more parallel. The applications of the Boolean analyzer are limited to few but important problems.
openaire   +3 more sources

Postulates for Boolean Algebras and Generalized Boolean Algebras

American Journal of Mathematics, 1935
openaire   +1 more source

Closure Algebras and Boolean Algebras

Mathematical Logic Quarterly, 1977
openaire   +2 more sources

Hyperidentities of Boolean Algebras: Super-Boolean Algebras

2022
openaire   +1 more source

Gauge-invariant ideals of C⁎-algebras of Boolean dynamical systems

Journal of Mathematical Analysis and Applications, 2020
Eunji Kang, Toke Meier Carlsen
exaly  

The Boolean Algebra of Predicates

Mathematical Logic Quarterly, 1980
openaire   +3 more sources

A Characterization of Boolean Algebras

The Annals of Mathematics, 1939
Birkhoff, Garrett, Ward, Morgan
openaire   +2 more sources