Filippovski, Vitaly. 2022. “A Decidability Theorem”. Analytica 3 (January): 78–91. https://analytica-journal.ru/index.php/analytica/article/view/23.