On square-increasing ordered monoids and idempotent semirings

DOI10.1007/s00233-017-9853-xzbMath1420.06024OpenAlexW2586808299MaRDI QIDQ2362745

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

decidabilityuniversal theoryidempotent semiringordered monoidfinite embeddability property

Mathematics Subject Classification ID

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

Related Items (2)

Finite embeddability property for residuated lattices via regular languages ⋮ Word problem for knotted residuated lattices.

Cites Work

• On regularity of context-free languages
• Residuated lattices. An algebraic glimpse at substructural logics
• Varieties of ordered algebras
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Residuated frames with applications to decidability
• On the finite embeddability property for residuated ordered groupoids
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• Ordering by Divisibility in Abstract Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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