任意代数簇中的代数逻辑与逻辑几何
群论
2012-06-05 v2 逻辑
摘要
本文分为两部分。第一部分致力于通用代数几何的逻辑研究。第二部分讨论相关问题及部分结果。本文可视为 B. Plotkin, E. Aladova, E. Plotkin 所著进展中书籍《任意代数簇中的代数逻辑与逻辑几何》中部分思想的简要阐述。
引用
@article{arxiv.1205.6235,
title = {Algebraic logic and logical geometry in arbitrary varieties of algebras},
author = {Boris Plotkin},
journal= {arXiv preprint arXiv:1205.6235},
year = {2012}
}