-
The computable Models of uncountably categorical Theories – An Inquiry in Recursive Model TheoryAV Akademikerverlag. 2014.Alex has written an excellent thesis in the area of computable model theory. The latter is a subject that nicely combines model-theoretic ideas with delicate recursiontheoretic constructions. The results demand good knowledge of both fields. In his thesis, Alex begins by reviewing the essential model-theoretic facts, especially the Baldwin-Lachlan result about uncountably categorical theories. This he follows with a brief discussion of recursion theory, including mention of the priority method.…Read more
-
Johannes Kepler University of LinzSenior Postdoc; PI of The Project "Adverse Allies"
-
University of ViennaLecturer
University of Vienna
PhD, 2020
Linz, Upper Austria, Austria