Absolute L-Realizability and Intuitionistic Logic
A. Yu. Konovalov · Moscow University Mathematics Bulletin · 2019
An absolute L -realizability of predicate formulas is introduced for all countable extensions L of the language of arithmetic. It is proved that the intuitionistic logic is not sound with this semantics.