从元组树恢复结构
Recovering a structure from its tree of tuples
AI总结：
本文针对可数序数构造 Delta-alpha-0 算子，从元组树恢复 Scott 秩受限结构，并证明有限情形下最优性，利用 Harrington 工人法与不友好跳跃反转。
AI中文摘要：
我们证明，对于每个可数序数 $\alpha$，存在一个 $\mathbf{\Delta}^0_\alpha$ 算子，使得对所有 Scott 秩至多为 $\alpha$ 的 $A$，该算子将 $T_A$ 的副本映射到 $A$ 的副本，其中 $T_A$ 是对应于 $A$ 的元组树。对于有限 $\alpha$，我们证明这是最优的。存在 $\mathbf{\Delta}^0_\alpha$ 算子的证明使用了 Harrington 的工人方法。对于有限 $n$ 的尖锐性结果，使用了 Harrison-Trainor 关于“不友好跳跃反转”的近期工作。
英文摘要：
We show that for each countable ordinal $α$, there is a $\mathbfΔ^0_α$ operator that, for all $A$ of Scott rank at most $α$, takes copies of $T_A$ to copies of $A$, where $T_A$ is the tree of tuples corresponding to $A$. For finite $α$, we show that this is best possible. The proof that there is a $\mathbfΔ^0_α$ operator uses Harrington's method of workers. The sharpness result, for finite $n$, uses recent work of Harrison-Trainor on ``unfriendly jump inversion.''
