代数逻辑与代数簇中的逻辑-几何类型
逻辑
2011-08-03 v1 代数几何
摘要
本文的主要目标是证明，在逻辑和模型论框架内发展的类型概念与代数的几何性质有着深刻的联系。这些联系通过代数逻辑的机制，在泛代数几何与模型论之间来回穿梭。我们证明，类型自然地作为逻辑核出现在 Halmos 代数（带等词的一阶公式的代数）中的滤子与相应仿射空间中的初等集之间的 Galois 对应中。
引用
@article{arxiv.1108.0573,
title = {Algebraic logic and logically-geometric types in varieties of algebras},
author = {Boris Plotkin and Elena Aladova and Eugene Plotkin},
journal= {arXiv preprint arXiv:1108.0573},
year = {2011}
}