Общерекурсивная реализуемость и интуиционистская логика

Продолжается исследование введённого автором в [Алгебра и логика, 59, № 5 (2020), 542—566] понятия общерекурсивной реализуемости, основанного на использовании индексов общерекурсивных функций в качестве конструктивного способа получения одних реализаций из других. Доказывается, что интуиционистская логика не является корректной относительно слабого варианта семантики общерекурсивной реализуемости.