Теория вычислимых моделей - Computable model theory

Теория вычислимых моделей это филиал теория моделей который занимается вопросами вычислимость применительно к теоретико-модельным структурам. Теория вычислимых моделей вводит идеи вычислимых и разрешимых моделей и теорий, и одна из основных проблем заключается в том, чтобы выяснить, можно ли показать существование вычислимых или разрешимых моделей, удовлетворяющих определенным теоретико-модельным условиям.

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

Смотрите также

• Гипотеза воота

Рекомендации

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