初等等价于给定乘积环的交换幺环
逻辑
2023-07-21 v1
摘要
Feferman Vaught 的经典工作对（广义）乘积结构及某些相关的 enrichment Boolean 结构中的可定义性给出了强有力的构造性分析。此处，通过密切相关的方法，但在交换幺环这一特殊背景下，我们获得了一种逆定理，使我们在有趣的情形下能判定一个交换幺环 R 何时初等等价于一组交换幺环 R_i 的非平凡乘积。我们将此用于 Peano 算术模型的剩余类环的模型论分析。
引用
@article{arxiv.2307.10465,
title = {Commutative unital rings elementarily equivalent to prescribed product rings},
author = {Paola D'Aquino and Angus Macintyre},
journal= {arXiv preprint arXiv:2307.10465},
year = {2023}
}