Decision problems for distributive lattice-ordered semigroups

DOI10.1007/BF01190708MaRDI QIDQ1891276zbMATH OpenFDO

Authors Alasdair Urquhart

Publication date 30 May 1995

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01190708

zbMATH Keywords

decision problemslattice-ordered semigroupsunsolvable problemsvon Neumann coordinatization theoremword problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Word problems (aspects of algebraic structures) (08A50)

Review text

Various decision problems for finitely presented distributive lattice- ordered semigroups are shown to be unsolvable. In particular, it is shown that there is a finitely presented distributive lattice-ordered semigroup with unsolvable word problem in any variety containing an algebra defined from an infinite-dimensional vector space. More general results on unsolvable problems are obtained by adapting a technique of A. Markov subsequently employed for group-theoretical decision problems by M. Rabin and A. M. W. Glass. The main technique used is an adaptation of the von Neumann coordinatization theorem for modular lattices.

Recommendations

• scientific article; zbMATH DE number 989181
• scientific article; zbMATH DE number 1535398
• On distributive \(l\)-semilattices
• Representations of distributive lattice-ordered semigroups with binary relations
• A decision problem for varieties of commutative semigroups
• Decision problem for orthomodular lattices
• scientific article; zbMATH DE number 3561332
• scientific article; zbMATH DE number 1054167
• scientific article; zbMATH DE number 1157194
• DECISION AND SEPARABILITY PROBLEMS FOR BAUMSLAG–SOLITAR SEMIGROUPS

Cites work

• A duality for Boolean algebras with operators
• Boolean Algebras with Operators. Part I
• Free Modular Lattices
• scientific article; zbMATH DE number 3875354 (Why is no real title available?)
• scientific article; zbMATH DE number 3922732 (Why is no real title available?)
• scientific article; zbMATH DE number 3273222 (Why is no real title available?)
• scientific article; zbMATH DE number 3065840 (Why is no real title available?)
• Recursive unsolvability of group theoretic problems
• Recursively unsolvable word problems of modular lattices and diagram- chasing
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Representations of distributive lattice-ordered semigroups with binary relations
• The undecidability of entailment and relevant implication
• The Undecidability of the Word Problems for Projective Geometries and Modular Lattices

Cited in

(12)

• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
• scientific article; zbMATH DE number 3875354 (Why is no real title available?)
• The Word Problem Versus the Isomorphism Problem
• scientific article; zbMATH DE number 4137743 (Why is no real title available?)
• scientific article; zbMATH DE number 3950598 (Why is no real title available?)
• On strictly positive lattice ordered semigroups
• scientific article; zbMATH DE number 4075136 (Why is no real title available?)
• DECISION AND SEPARABILITY PROBLEMS FOR BAUMSLAG–SOLITAR SEMIGROUPS
• A Logical Autobiography
• Computing on Lattice-Ordered Abelian Groups
• scientific article; zbMATH DE number 2208122 (Why is no real title available?)
• An algebraic glimpse at bunched implications and separation logic

This page was built for publication: Decision problems for distributive lattice-ordered semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1891276)