一阶代数的普遍理论及其各种归约
逻辑
2015-08-03 v3
摘要
关系签名中的一阶公式可以被视为对底层集合上关系的运算，从而产生我们称为一阶代数的多类代数。我们给出普遍公理，使得一个代数满足这些公理当且仅当它嵌入到一个一阶代数中。重要的是，我们的论证是模块化的，也适用于例如正存在代数（其中我们限制关注正存在公式）和无量词代数。我们还解释了与理论的关系，并指出了如何添加函数符号。
引用
@article{arxiv.1403.1805,
title = {The Universal Theory of First Order Algebras and Various Reducts},
author = {Lawrence Valby},
journal= {arXiv preprint arXiv:1403.1805},
year = {2015}
}
备注
30 pages