一个简单的连续理论
摘要：连续一阶逻辑背景下，通常特别关注那些在“本质”上以某种连续方式存在的理论。这类理论的一个共同特征是它们不解释任何无限离散结构。我们研究了一个更强的条件，它更容易建立，并用它来给出一个严格简单的连续理论的例子，该理论不解释任何无限离散结构：具有通用二元谓词的富分枝$mathbb{R}$-森林理论。我们还给出一个超稳定理论的例子，该理论并不满足这个更强的条件，但仍然不解释任何无限离散结构。
作者：James Hanson
论文ID：2306.14324
分类：Logic
分类简称：math.LO
提交时间：2023-06-27