|
|||||
|
|
Representable semilattice-ordered monoids |
|
| Authors: | Robin Hirsch Szabolcs Mikulás |
| Affiliation: | (1) Computer Science, UCL, Gower Street, London, WC1E 6BT, UK;(2) Computer Science and Information Systems, Birkbeck College, Malet Street, London, WC1E 7HX, UK |
| Abstract: | We show that no finite set of first-order axioms can define the class of representable semilattice-ordered monoids. Received July 2, 2004; accepted in final form February 22, 2007. |
| Keywords: | KeywordHeading" >2000 Mathematics Subject Classification: Primary: 03G10, 03G15 Secondary: 06A12, 06F05 |
| 本文献已被 SpringerLink 等数据库收录！ | |