Вопросы разрешимости расширенных теорий

Обзор посвящен вопросам разрешимости некоторых фрагментов теорий второй ступени, а именно, элементно-$\theta$-подмодельным теориям классов, алгебраических систем. В формализме этих (расширенных) теорий, являющимся обогащением исчисления предикатов первой ступени, дополнительно допускаются кванторы по подмоделям, обладающим важными, в содержательной математике, свойствами $\theta$.
Обзор состоит из введения, четырех параграфов и библиографии. В § 1 содержатся общие сведения по расширенным теориям, которые приводятся, в основном, с доказательством. В следующих параграфах приводятся результаты, относящиеся к упорядоченным множествам (§ 2), абелевым группам (§ 3) и теории чисел (§ 4).
Библ. 233 назв.