Uniquely representable semigroups. II
نویسندگان
چکیده
منابع مشابه
On representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.
متن کاملOn Representable Mappings of Semigroups into Cardinals
Let S be a semigroup and f be a mapping of S into the class of nonzero cardinal numbers. The mapping f is said to be representable if there exist a groupoid G and a homomorphism h of G onto S such that Ker(h) is the least congruence of G for which the corresponding factor is a semigroup and f(a) = Cardh(a) for all a ∈ S. The investigation of representable mappings (see the papers [2] and [3]) i...
متن کاملThe equational theories of representable residuated semigroups
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.
متن کاملUnique Perfect Phylogeny Characterizations via Uniquely Representable Chordal Graphs
The perfect phylogeny problem is a classic problem in computational biology, where we seek an unrooted phylogeny that is compatible with a set of qualitative characters. Such a tree exists precisely when an intersection graph associated with the character set, called the partition intersection graph, can be triangulated using a restricted set of fill edges. Semple and Steel used the partition i...
متن کاملOn lattice isomorphisms of inverse semigroups, II
A lattice isomorphism between inverse semigroups S and T is an isomorphism between their lattices of inverse subsemigroups. When S is aperiodic, it has long been known that a bijection is induced between S and T . Various authors have introduced successively weaker ‘archimedean’ hypotheses under which this bijection is necessarily an isomorphism, naturally inducing the original lattice isomorph...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1971
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1971.39.573