Axiomatizing complex algebras by games
Axiomatizing complex algebras by games
复制标题
通过游戏公理化复杂代数
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Y. Venema
中科院分区：
文献类型：
--
作者：
I. Hodkinson;S. Mikulás;Y. Venema
抽象的。鉴于各种
$ mathsf V $，我们提供了一个公理化
类的$ Phi（mathsf V）$
中代数的复代数的$ mathsf{SCmV} $
$ mathsf V $.
$ Phi（mathsf V）$可以有效地从
$ mathsf V $;事实上，如果这个公理化是递归可验证的，那么
$ Phi（mathsf V）$是递归的。
Abstract. Given a variety
$ mathsf V $, we provide an axiomatization
$ Phi(mathsf V) $ of the class
$ mathsf{SCmV} $ of complex algebras of algebras in
$ mathsf V $.
$ Phi(mathsf V) $ can be obtained effectively from the axiomatization of
$ mathsf V $; in fact, if this axiomatization is recursively enumerable, then
$ Phi(mathsf V) $ is recursive.