Системы аксиом и модели для теорий первого порядка с оператором доказуемости

В 1992 г. С. Н. Артемовым и F. Montagna введено понятие расширения арифметической теории с помощью оператора доказуемости, а также доказана разрешимость некоторых таких расширений. В настоящей работе найдены системы аксиом и модели Крипке для разрешимых теорий с оператором доказуемости, рассмотренных Артемовым и F. Montagna.
Библиогр. 4.