正模型论中的类型空间
逻辑
2019-06-12 v3
摘要
我们基于分配格的 Stone 对偶性引入正模型论中类型空间的概念。我们展示该空间密切镜像了带有否定的完整一阶模型论（Tarskian 模型论）中的 Stone 类型空间。我们借此将 Tarskian 设定下关于可数模型的一些经典结果推广至正模型论。
引用
@article{arxiv.1711.05754,
title = {Spaces of Types in Positive Model Theory},
author = {Levon Haykazyan},
journal= {arXiv preprint arXiv:1711.05754},
year = {2019}
}