General recursive realizability and intuitionistic logic
We continue to study into the notion of general recursive realizability, which was introduced in [Algebra and Logic, 59, No. 5 (2020), 367-384], based on using indices of general recursive functions as a constructive way of obtaining some realizations from others. It is proved that intuitionistic logic is not sound with respect to a weaker version of the semantics of general recursive realizability.