Попов В. Интерполяционная теорема для простой паранормальной логики $Int_{0,\omega}$ // Логические исследования / Logical Investigations. 2012. Т. 18. C. 182-196.