Ein Distributivitätskriterium für Verbände.
Embedding of semilattices into distributive lattices
Embeddings of totally ordered MV-algebras of bounded cardinality
For a given cardinal number 𝔞, we construct a totally ordered MV-algebra M(𝔞) having the property that every totally ordered MV-algebra of cardinality at most 𝔞 embeds into M(𝔞). In case 𝔞 = ℵ₀, the algebra M(𝔞) is the first known MV-algebra with respect to which the deductive system for the infinitely-valued Łukasiewicz's propositional logic is strongly complete.
Endomorphism semigroups of Brouwerian semilattices.
Endomorphisms of complete Heyting algebras.
Enriched MV-algebras.
This paper introduces the structure of enriched MV-algebras and studies on this basis various relations between sigma-complete MV-algebras and T-tribes.
Entropy on effect algebras with Riesz decomposition property II: MV-algebras
We study the entropy mainly on special effect algebras with (RDP), namely on tribes of fuzzy sets and sigma-complete MV-algebras. We generalize results from [RiMu] and [RiNe] which were known only for special tribes.
Entropy on effect algebras with the Riesz decomposition property I: Basic properties
We define the entropy, lower and upper entropy, and the conditional entropy of a dynamical system consisting of an effect algebra with the Riesz decomposition property, a state, and a transformation. Such effect algebras allow many refinements of two partitions. We present the basic properties of these entropies and these notions are illustrated by many examples. Entropy on MV-algebras is postponed to Part II.
Enumeration of Varlet and Comer hypergroups.
Enveloppe karoubienne de catégories de Kleisli
Epimorphisms between finite MV-algebras
MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Łukasiewicz propositional calculus. Recently, algebraic theory of MV-algebras has been intensively studied. Wajsberg algebras are just a reformulation of Chang MV-algebras where implication is used instead of disjunction. Using these equivalence, in this paper we provide conditions for the existence of an epimorphism between two finite MV-algebras and . Specifically, we define the mv-functions with domain in...
Equationally close subframes and representation of quotient spaces
Equimorphy in varieties of distributive double -algebras
Any finitely generated regular variety of distributive double -algebras is finitely determined, meaning that for some finite cardinal , any subclass of algebras with isomorphic endomorphism monoids has fewer than pairwise non-isomorphic members. This result follows from our structural characterization of those finitely generated almost regular varieties which are finitely determined. We conjecture that any finitely generated, finitely determined variety of distributive double -algebras...
Equimorphy in varieties of double Heyting algebras
We show that any finitely generated variety V of double Heyting algebras is finitely determined, meaning that for some finite cardinal n(V), any class ⊆ V consisting of algebras with pairwise isomorphic endomorphism monoids has fewer than n(V) pairwise non-isomorphic members. This result complements the earlier established fact of categorical universality of the variety of all double Heyting algebras, and contrasts with categorical results concerning finitely generated varieties of distributive...
Errata to the paper “On paracompact locales and metric locales”
Eventually cyclic spectra of parameterized flows.
Every uniformly Archimedean atomic MV-effect algebra is sharply dominating
Following the study of sharp domination in effect algebras, in particular, in atomic Archimedean MV-effect algebras it is proved that if an atomic MV-effect algebra is uniformly Archimedean then it is sharply dominating.
Exponentiability of perfect maps: Four approaches.
Exponentiable morphisms: Posets, spaces, locales, and Grothendieck toposes.
Extension of Boolean homomorphisms with bounding semimorphisms.