可交换幺环与指定乘积环元素等价
摘要：Feferman Vaught定理在（广义）乘积结构和相关的布尔结构中对可定义性进行了有力的、建设性的分析。我们在交换幺环的特殊情况下，通过紧密相关的方法，获得了一种逆逆的方式，使得我们可以在一些有趣的情况下确定交换幺环R与一组交换幺环R_i的非平凡乘积在元素上等价。我们利用这一结果对Peano算术模型的剩余环进行模型论分析。
作者：Paola D'Aquino and Angus Macintyre
论文ID：2307.10465
分类：Logic
分类简称：math.LO
提交时间：2023-07-21