路径随机树和二阶算术模型
摘要：树是路径随机的，如果它的所有路径都是Martin-Lof随机的。我们证明：（a）没有弱2-随机实数计算一个完美的路径随机树；据此，对于任何可计算度量，理想的路径随机树类是零；（b）存在一个具有正测度的路径随机树，它不计算任何Peano算术的完全扩张；和（c）存在一个完美的路径随机树，它不计算任何具有正测度和有限随机性缺陷的树。然后我们获得了第二阶算术模型，这些模型在弱Konigs引理以下分离紧致原则，回答了Chong等人（2019）的问题。
作者：George Barmpalias and Wei Wang
论文ID：2104.12066
分类：Logic
分类简称：math.LO
提交时间：2023-05-19