当前位置:
X-MOL 学术
›
J. Math. Log.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
The property “arithmetic-is-recursive” on a cone
Journal of Mathematical Logic ( IF 0.9 ) Pub Date : 2021-04-17 , DOI: 10.1142/s0219061321500215 Uri Andrews 1 , Matthew Harrison-Trainor 2 , Noah Schweber 1
Journal of Mathematical Logic ( IF 0.9 ) Pub Date : 2021-04-17 , DOI: 10.1142/s0219061321500215 Uri Andrews 1 , Matthew Harrison-Trainor 2 , Noah Schweber 1
Affiliation
We say that a theory T satisfies arithmetic-is-recursive if any X ′ -computable model of T has an X -computable copy; that is, the models of T satisfy a sort of jump inversion. We give an example of a theory satisfying arithmetic-is-recursive non-trivially and prove that the theories satisfying arithmetic-is-recursive on a cone are exactly those theories with countably many ω -back-and-forth types.
中文翻译:
锥上的“算术递归”属性
我们说一个理论吨 满足算术递归(如果有)X ' - 可计算模型吨 有一个X - 可计算的副本;也就是说,模型吨 满足一种跳跃反转。我们举一个非平凡的满足算术递归的理论的例子,并证明满足锥上算术递归的理论正是那些具有可数多的理论ω - 来回类型。
更新日期:2021-04-17
中文翻译:
锥上的“算术递归”属性
我们说一个理论