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

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