A. Yu. Konovalov

Generalized Realizability and Intuitionistic Logic

2022 · arXiv (Cornell University)

Let V be a set of number-theoretical functions. We define a notion of V -realizability for predicate formulas in such a way that the indices of functions in V are used for interpreting the implication …