Корректность базисной логики относительно абсолютной $L$-реализуемости

Для каждого счетного расширения $L$ языка арифметики определяется абсолютная $L$-реализуемость предикатных формул. Доказывается, что базисная логика является корректной относительно этих семантик.