诺特理论
摘要：对于公式集合$mathcal{F}$，如果每个可定义集合都是$mathcal{F}$中公式实例的布尔组合，并且以任意公式实例构成的闭集为子基础的拓扑结构是Noetherian的，那么一个一阶理论对于$mathcal{F}$是Noetherian的。Noetherian性是等式性的一种加强形式，本身意味着稳定性。我们展示了在任意特征下，代数闭域的proper pairs理论是Noetherian的。
作者：Amador Martin-Pizarro and Martin Ziegler
论文ID：2307.16826
分类：Logic
分类简称：math.LO
提交时间：2023-08-01