collaborators

1 paper

math.LO2020

Generalized Realizability and Basic Logic

Aleksandr Yu. Konovalov

Let V be a set of number-theoretical functions. We define a notion of absolute V-realizability for predicate formulas and sequents in such a way that the indices of functions in V…