Representable semilattice-ordered monoids

被引：13

作者：

Hirsch, Robin ^{[1
]}

Mikulas, Szabolcs ^{[2
]}

机构：

[1] UCL, London WC1E 6BT, England

[2] Birkbeck Coll, London WC1E 7HX, England

来源：

关键词：

algebraic logic; representation; non-finite axiomatisability; semilattice; ordered monoid; reduct;

D O I：

10.1007/s00012-007-2055-8

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We show that no finite set of first-order axioms can define the class of representable semilattice-ordered monoids.

引用

页码：333 / 370

页数：38

共 20 条

[1] Axiomatization of identity-free equations valid in relation algebras
Andreka, H
Nemeti, I
[J]. ALGEBRA UNIVERSALIS, 1996, 35 (02) : 256 - 264
[2] REPRESENTATIONS OF DISTRIBUTIVE LATTICE-ORDERED SEMIGROUPS WITH BINARY RELATIONS
ANDREKA, H
[J]. ALGEBRA UNIVERSALIS, 1991, 28 (01) : 12 - 25
[3] ANDREKA H, 1994, B SECTION LOGIC, V23, P47
[4] [Anonymous], INDAG MATH
[5] [Anonymous], 1991, ALGEBRAIC LOGIC BUDA
[6] [Anonymous], ABSTR AM MATH SOC
[7] Bredikhin D.A., 1993, IZV VYSSH UCHEBN ZAV, V3, P23
[8] Bredikhin D.A., 1978, C MATH, V39, P1, DOI DOI 10.4064/CM-39-1-1-12
[9] BREDIKHIN DA, 1977, ALGEBRA THEORY NUMBE, V2, P3
[10] ARGUESIAN LATTICES WHICH ARE NOT TYPE-1
HAIMAN, M
[J]. ALGEBRA UNIVERSALIS, 1991, 28 (01) : 128 - 137