Предикатные логики разрешимых фрагментов арифметики

Предикатной логикой $\mathcal{L}(T)$ теории первого порядка $T$ называется множество формул, выводимых в $T$ при любой интерпретации. В статье рассмотрены логики арифметики сложения Пресбургера $Pre$, арифметики умножения Сколема $Sko$ и теории дискретного порядка $DO$. Основным результатом является
Теорема. Имеет место включение
$$ PC\subset\mathcal{L}(Sko)\subset\mathcal{L}(Pre)\subset\mathcal{L}(DO)\subset FIN, $$
где $FIN$ – множество формул, истинных во всех конечных моделях.
Библиогр. 7.