抽象初等等价类中 Galois 型的一种拓扑
逻辑
2010-02-24 v2
摘要
我们提出了一种在具有融合性质的抽象初等等价类中，对结构上的 Galois 型集合进行拓扑化的方法。在初等情形下，这样产生的拓扑细化了从一阶逻辑中熟悉的语法拓扑。我们展示了类的模型论性质及其构成模型与相关空间的拓扑性质之间的一系列自然对应关系。特别是，Galois 型的驯顺性表现为一种拓扑分离原理。
引用
@article{arxiv.0906.3573,
title = {A Topology for Galois Types in AECs},
author = {Michael Lieberman},
journal= {arXiv preprint arXiv:0906.3573},
year = {2010}
}
备注
17 pages with references. Drawn from author's PhD thesis, "Topological and Category-Theoretic Aspects of Abstract Elementary Classes," University of Michigan, 2009. Minor edits February 2010