Teorie vypočítatelných modelů - Computable model theory

Teorie vypočítatelných modelů je pobočkou teorie modelů která se zabývá otázkami vypočítatelnost jak se vztahují na modelové teoretické struktury. Teorie vypočítatelných modelů zavádí myšlenky vypočítatelných a rozhodovatelných modelů a teorií a jedním ze základních problémů je zjištění, zda lze prokázat existenci vypočítatelných nebo rozhodujících modelů splňujících určité modelově-teoretické podmínky.

Teorie vypočítatelných modelů byla vyvinuta téměř současně matematiky na Západě, primárně umístěnými v Spojené státy a Austrálie, a sovětský Rusko v polovině 20. století. Kvůli Studená válka mezi těmito dvěma skupinami byla jen malá komunikace, a tak bylo nezávisle na sobě objeveno několik důležitých výsledků.

Viz také

• Vaught domněnka

Reference

• Harizanov, V. S. (1998), „Pure Computable Model Theory“, v Ershov, Iurii Leonidovich (ed.), Příručka rekurzivní matematiky, svazek 1: Rekurzivní teorie modelů„Studium logiky a základy matematiky, 138, Severní Holandsko, s. 3–114, ISBN  978-0-444-50003-8, PAN  1673621.