Teoría de modelos computables

La teoría de modelos computables es una rama de la teoría de modelos que aborda cuestiones de computabilidad aplicadas a estructuras de la teoría de modelos . Esta teoría introduce los conceptos de modelos y teorías computables y decidibles, y uno de los problemas fundamentales consiste en determinar si existen modelos computables o decidibles que cumplan ciertas condiciones de la teoría de modelos.

La teoría de modelos computables fue desarrollada casi simultáneamente por matemáticos occidentales, principalmente de Estados Unidos y Australia , y de la Unión Soviética a mediados del siglo XX. Debido a la Guerra Fría, hubo poca comunicación entre estos dos grupos, por lo que varios resultados importantes se descubrieron de forma independiente. ^{[ 1 ]}

• Conjetura de Vaught

• Harizanov, VS (1998), "Teoría de modelos puramente computables", en Ershov, Iurii Leonidovich (ed.), Manual de matemáticas recursivas, Volumen 1: Teoría de modelos recursivos , Estudios en lógica y fundamentos de las matemáticas, vol.  138, North Holland, pp. 3–114 , ISBN  978-0-444-50003-8, MR 1673621 .