Die Berechenbarkeitstheorie ist ein zentrales Thema der Mathematischen Logik seit der
grundlegenden Arbeit von Turing, Gödel, Church, Kleene und anderen Forschern, die die
Turing-Maschine als geeignetes mathematisches Modell für die Theorie festgelegt hat.
Daraus entstand eine allgemeine Theorie, die Probleme nach ihren Graden von
Unentscheidbarkeit klassifiziert. Ziel dieses Projekts ist, die Berechenbarkeits- und
Definierbarkeitstheorien in Zusammenarbeit mit der Novosibirsk Logik Gruppe zu forschen.
Wir werden die Berechenbarkeit und Definierbarkeit im Kontext der Modelltheorie und der
Deskriptiven Mengenlehre mit Betonung auf berechenbare Strukturen untersuchen.