FG1 Seminar talk

2018-03-09 (10:15)
Ekaterina Fokina (TU Wien)
Computable Structures

Abstract:
This talk is intended to be a gentle introduction to computable structure theory. We will start by defining the main concepts of computable structure theory and giving several examples of computable and non-computable structures. We will then consider the typical questions studied in computable structure theory. There will be some proofs that will give a flavour of the techniques used in the field. However, all the results should be accessible to non-specialists. We will also give a general idea of what we currently study together with Dino Rossegger and Luca San Mauro.