Теория вычислимых моделей - это раздел теории моделей, который занимается вопросами вычислимости применительно к теоретико-модельным структурам. Теория вычислимых моделей вводит идеи вычислимых и разрешимых моделей и теорий, и одна из основных проблем заключается в том, чтобы выяснить, можно ли показать существование вычислимых или разрешимых моделей, удовлетворяющих определенным теоретико-модельным условиям.
Теория вычислимых моделей была разработана почти одновременно математиками на Западе, главным образом в США и Австралии , и в Советской России в середине 20 века. Из-за холодной войны между этими двумя группами было мало общения, поэтому ряд важных результатов был обнаружен независимо.
Смотрите также
Рекомендации
- Харизанов, В.С. (1998), "Чистая теория вычислимых моделей", Ершов, Юрий Леонидович (ред.), Справочник по рекурсивной математике, Том 1: Теория рекурсивных моделей , Исследования по логике и основам математики, 138 , Северная Голландия, стр. 3–114, ISBN 978-0-444-50003-8, Руководство по ремонту 1673621.