整齐约化类对其敏感的逻辑
逻辑
2013-04-11 v1
摘要
设L是一个量词谓词逻辑。设K是一个代数类。我们说K对L敏感，如果存在K中的一个代数，该代数可L解释到另一个代数中，且后一个代数初等等价于一个不在K中的代数。（特别地，如果L是L_{ω,ω}，这意味着K不是初等的。）我们证明，每一维的整齐约化类对带有无穷合取的无量词谓词逻辑敏感；对于有限维，我们不需要无穷合取。
引用
@article{arxiv.1304.2931,
title = {Logics to which the class of neat reducts is sensitive to},
author = {Tarek Sayed Ahmed},
journal= {arXiv preprint arXiv:1304.2931},
year = {2013}
}