论文标题
无法理解性，可实现性和建设性反向数学程度
Degrees of incomputability, realizability and constructive reverse mathematics
论文作者
论文摘要
有一种方法可以将可实现的概念分配给每个无法理解的性能。在我们的环境中，我们利用weihrauch度（部分多值函数的不可电解性/不连续性程度）来获得类似LIFSCHITZ的相对可实现性谓词。在本说明中，我们介绍了如何提高Weihrauch学位上的一些分离结果的示例示例。
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}$.
