2000 character limit reached
Degrees of incomputability, realizability and constructive reverse mathematics (2002.10712v1)
Published 25 Feb 2020 in math.LO and cs.LO
Abstract: 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}$.