Definability in the lattice of equational theories of semigroups
Semigroup Forum(1993)
摘要
We study first-order definability in the latticeL of equational theories of semigroups. A large collection of individual theories and some interesting sets of theories are
definable inL. As examples, ifT is either the equational theory of a finite semigroup or a finitely axiomatizable locally finite theory, then the set {T, T
ϖ} is definable, whereT
ϖ is the dual theory obtained by inverting the order of occurences of letters in the words. Moreover, the set of locally finite
theories, the set of finitely axiomatizable theories, and the set of theories of finite semigroups are all definable.
更多查看译文
关键词
first order
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要