论文标题
$ω$ - vught的猜想
The $ω$-Vaught's Conjecture
论文作者
论文摘要
我们介绍了$ω$ - VURG的猜想，这是对无限沃特的猜想的加强。我们相信，如果一个人在不使用高级递归理论的技术的情况下以结构性的方式证明了无限范围的猜想，那么证明可能是$ω$ - VAUGHT的猜想的证明。我们表明存在与$ω$ - vught的猜想的等效条件的存在，并使用此工具表明所有无限制句子是线性订单的所有无限句子都满足了$ω$ - VARGGHTER的猜想。
We introduce the $ω$-Vaught's conjecture, a strengthening of the infinitary Vaught's conjecture. We believe that if one were to prove the infinitary Vaught's conjecture in a structural way without using techniques from higher recursion theory, then the proof would probably be a proof of the $ω$-Vaught's conjecture. We show the existence of an equivalent condition to the $ω$-Vaught's conjecture and use this tool to show that all infinitary sentences whose models are linear orders satisfy the $ω$-Vaught's conjecture.
