Computability and Definability
Computability and Definability in Model Theory and Descriptive Set Theory
Sy-David Friedman
Wissenschaftsdisziplinen
Mathematik (100%)
Keywords
-
Computation,
Model,
Admissible Set,
Isomorphism Relation,
Wadge Reducibility,
Projective Definability
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.
Forschungsstätte(n)
- Universität Wien - 100%
Internationale Projektbeteiligte