在定义完备局部 o-极小结构中的可定义紧致性
摘要：可定识别奥极小结构中定义的紧致性的And''ujar Guerrero, Thomas 和Walsberg的结果仍然适用于在可定识别完全本地奥极小结构中。作为一个应用，我们证明了一个定义简单的可定识别拓扑群，它作为一个定义拓扑空间是正规的，Hausdorff的，并且在定义的紧致的情况下要么是离散的，要么是定义的连通的。我们还研究了由定义紧致定义拓扑群的定义连续的作用的定义商。
作者：Masato Fujita
论文ID：2303.01644
分类：Logic
分类简称：math.LO
提交时间：2023-05-23