通过自同构群测试理论的定义等价性
摘要：第一阶逻辑理论在模型类之间存在保持同构和超乘积的双射时，它们的定义等价（定理2）。这是van Benthem和 Pearce之前定理的一个变体。在例2中，我们给出了不可数多个定义不等价的理论对，它们的模型类通过保持模型类中超乘积的双射具体同构（以同构为准）。基于这些结果，我们解决了Barrett、 Glymour 和 Halvorson提出的几个猜想。
作者：H. Andr''eka, J. Madar''asz, I. N''emeti, G. Sz''ekely
论文ID：2211.14232
分类：Logic
分类简称：math.LO
提交时间：2023-07-10