Author: Vsesoi︠u︡znai︠a︡ konferentsii︠a︡ po matematicheskoĭ logike