Bi-ideals in ordered semigroups and ordered groups.
Binary and ternary relations
Two operators are constructed which make it possible to transform ternary relations into binary relations defined on binary relations and vice versa. A possible graphical representation of ternary relations is described.
Binary hyperidentities.
Biordered sets and complemented modular lattices.
Bipartite pseudo MV-algebras
A bipartite pseudo MV-algebra A is a pseudo MV-algebra such that A = M ∪ M ̃ for some proper ideal M of A. This class of pseudo MV-algebras, denoted BP, is investigated. The class of pseudo MV-algebras A such that A = M ∪ M ̃ for all maximal ideals M of A, denoted BP₀, is also studied and characterized.
Bipolar fuzzy subalgebras and bipolar fuzzy ideals of BCK/BCI-algebras.
Biregular semigroups. II
Bisections and homomorphisms.
Bisemilattices with five essentially binary polynomials
Bisemilattice-valued fuzzy sets.
Bistable orderings on a certain class of semigroups.
Bivariate function algebras on Posets.
BL-algebra of fractions relative to an -closed system.
BL-algebras of basic fuzzy logic.
BL-algebras [Hajek] rise as Lindenbaum algebras from certain logical axioms familiar in fuzzy logic framework. BL-algebras are studied by means of deductive systems and co-annihilators. Duals of many theorems known to hold in MV-algebra theory remain valid for BL-algebras, too.
Blocks in homogeneous effect algebras and MV-algebras
Bohr compactifications of discrete structures
We prove the following theorem: Given a⊆ω and , if for some and all u ∈ WO of length η, a is , then a is .We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: -Turing-determinacy implies the existence of .
Boolean algebras admitting a countable minimally acting group
The aim of this paper is to show that every infinite Boolean algebra which admits a countable minimally acting group contains a dense projective subalgebra.
Boolean algebras and ultracompactness
Boolean algebras in algebraic topology.
Boolean algebras in which every chain and antichain is countable