Results 61 to 70 of about 266 (139)
Internalizing equality in Boolean algebras
, 2000 We show that equality may be internalized in Boolean algebras, in a number of possible ways, as a binary operation satisfying reflexivity and replacement properties.
Fearnley-Sander, D., Stokes, T.
core
Unification and equation solving in nilpotent groups and monoids [PDF]
, 1991 Unification and equation solving have been considered for groups [44], semigroups [43], abelian groups [39] and abelian semigroups [25], [33], [68], [69]. In this thesis we consider partially commutative groups and monoids. Nilpotency provides us with a
Burke, Edmund Kieran, Burke, E.K
core
Categorical Smoothness of 4-Manifolds from Quantum Symmetries and the Information Loss Paradox. [PDF]
Entropy (Basel), 2022 Król J, Asselmeyer-Maluga T.
europepmc +1 more source
Boolean Rings and Their Ideals
, 1961 M. R. Stone, in his paper The Theory of Representation for Boolean Algebras, makes an extensive study of Boolean rings. One has only to read the above mentioned article of Stone\u27s in order to get some idea of the many facets of Boolean rings which one
Wellenzohn, Henry J.
core
Classification of Boolean algebras through von Neumann regular C∞−rings
In this paper, we introduce the concept of a “von Neumann regular C∞-ring”, which is a model for a specific equational theory. We delve into the characteristics of these rings and demonstrate that each Boolean space can be effectively represented as the ...
Berni, Jean Cerqueira [UNESP] +1 more
core +1 more source
GROEBNER BASES COMPUTATION IN BOOLEAN RINGS
, 2008 Model checking is an algorithmic approach for automatically verifying whether a hardware or software system functions correctly. Typically, computation is carried over Boolean algebras using binary decision diagrams (BDDs) or satisfiability (SAT) solvers.
core
The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals
For an ideal $\mathcal{I}$ in a $σ$-complete Boolean algebra $\mathcal{A}$, we show that if the Boolean algebra $\mathcal{A}\langle\mathcal{I}\rangle$ generated by $\mathcal{I}$ does not have the Nikodym property, then it does not have the Grothendieck property either.
Sobota, Damian, Żuchowski, Tomasz
openaire +2 more sources
BOOLEAN FACTOR CONGRUENCES AND PROPERTY (*)
, 2011 A variety [Formula: see text] has Boolean factor congruences (BFC) if the set of factor congruences of any algebra in [Formula: see text] is a distributive sublattice of its congruence lattice; this property holds in rings with unit and in every variety
PEDRO SÁNCHEZ TERRAF
core +1 more source
A Generalization of Certain Rings of A. L. Foster
, 1963 The concept of a Boolean ring, as a ring A in which every element is idempotent (i. e., a2 = a for all a in A), was first introduced by Stone [4].
Adil Yaqub
core +1 more source
, 2012 REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced.
Solomon, Alan D
core