On square-increasing ordered monoids and idempotent semirings

DOI10.1007/S00233-017-9853-XMaRDI QIDQ2362745zbMATH OpenOpenAlexFDO

Authors Rostislav Horčík

Publication date 14 July 2017

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-017-9853-x

zbMATH Keywords

decidabilityfinite embeddability propertyidempotent semiringordered monoiduniversal theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Semirings (16Y60)

Recommendations

• On a variety of commutative multiplicatively idempotent semirings
• ORDERED CATEGORIES AND ORDERED SEMIGROUPS
• Variety P of idempotent semirings.
• scientific article; zbMATH DE number 18502
• The varieties of semilattice-ordered semigroups satisfying \(x^3\equiv x\) and \(xy\equiv yx\)

Cites work

• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 41838 (Why is no real title available?)
• scientific article; zbMATH DE number 1259068 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 2196598 (Why is no real title available?)
• scientific article; zbMATH DE number 2221693 (Why is no real title available?)
• On regularity of context-free languages
• On the finite embeddability property for residuated ordered groupoids
• Ordering by Divisibility in Abstract Algebras
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Varieties of ordered algebras

Cited in

(3)

• Word problem for knotted residuated lattices.
• ORDERED CATEGORIES AND ORDERED SEMIGROUPS
• Finite embeddability property for residuated lattices via regular languages

This page was built for publication: On square-increasing ordered monoids and idempotent semirings

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