正逻辑中的初等等价性通过素积
摘要：引言：正逻辑的 prime products 被介绍为超限积的一种推广形式。我们证明了 prime products 满足 {L}o''s's 定理的一个版本，该定理仅适用于正公式，以及 Keisler 同构定理的以下变体：在广义连续假设下，如果两个模型具有同构的超限积的 prime powers，那么它们具有相同的正理论。
作者：T. Moraschini, J. J. Wannenburg, K. Yamamoto
论文ID：2303.02614
分类：Logic
分类简称：math.LO
提交时间：2023-07-04