不可计算度、可实现性与构造性反推数学
Degrees of incomputability, realizability and constructive reverse mathematics
AI总结：
本文利用 Weihrauch 度构造 Lifschitz 式相对可实现性谓词，并展示如何把 Weihrauch 度上的分离结果提升到直觉主义集合论 IZF 中。
摘要：
存在一种为每个不可计算度指派可实现性概念的方法。在我们的设定中，我们利用 Weihrauch 度（部分多值函数的不可计算性/不连续性程度）来获得类似 Lifschitz 的相对可实现性谓词。在这篇短文中，我们给出若干示例，说明如何将 Weihrauch 度上的一些分离结果提升到直觉主义策梅洛-弗兰克尔集合论 IZF 上的分离结果。
英文摘要：
There is a way of assigning a realizability notion to each degree of incomputability. In our setting, we make use of Weihrauch degrees (degrees of incomputability/discontinuity of partial multi-valued functions) to obtain Lifschitz-like relative realizability predicates. In this note, we present sample examples on how to lift some separation results on Weihrauch degrees to those over intuitionistic Zermelo-Fraenkel set theory ${\bf IZF}$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
