Galois 风格的模型论动力学
逻辑
2019-05-24 v4
摘要
我们研究了配备了固定群 G 作用的（相当任意的理论的）存在封闭模型。我们将这些结构嵌入到某个完备理论的怪物模型 D 中，并将它们描述为 D 的 PAC 子结构。假设这些存在封闭模型的类是初等的，我们证明在模型有界的假设下，其理论是简单的，并且消去直到某些存在公式的量词——类似于 ACFA。此外，它编码有限集合并允许对虚元的几何消去，但不总是允许虚元的弱消去。
引用
@article{arxiv.1703.01376,
title = {Model theoretic dynamics in Galois fashion},
author = {Daniel Max Hoffmann},
journal= {arXiv preprint arXiv:1703.01376},
year = {2019}
}