可表示的柱形代数和多元代数的裸典范性
逻辑
2013-05-22 v1 计算机科学中的逻辑
摘要
我们证明，对于至少为3的有限n，可表示的n维柱形代数、无对角元柱形代数、多元代数和多元等式代数的簇的每个一阶公理化都包含无限多个非典范公式。我们还证明了这些代数簇的每个结构类都是非初等的。证明使用了从随机图导出的代数。
引用
@article{arxiv.1202.5961,
title = {Bare canonicity of representable cylindric and polyadic algebras},
author = {Jannis Bulian and Ian Hodkinson},
journal= {arXiv preprint arXiv:1202.5961},
year = {2013}
}