Degrees of incomputability, realizability and constructive reverse mathematics

02/25/2020

∙

by   Takayuki Kihara, et al.

∙

0

∙

share

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 IZF.