Теория вычислимых моделей

Теория вычислимых моделей – раздел теории моделей, изучающий вычислимость в теоретико-модельных структурах.
Теория вычислимых моделей вводит понятия вычислимых и разрешимых моделей и теорий.
Основная проблема – доказательство существования вычислимых или разрешимых моделей, удовлетворяющих определенным условиям.
Теория вычислимых моделей была разработана в середине 20-го века математиками на Западе, в СССР и Австралии.
Из-за холодной войны между странами, ряд важных результатов был получен независимо друг от друга.

Полный текст статьи:

Теория вычислимых моделей — Википедия