Periodic Reporting for period 1 - ACOSE (Algorithmic complexity of structures and their equivalence relations)

We investigate the algorithmic complexity of mathematical structures and its connection with notions of complexitystudied in descriptive set theory. The main subject area of the planned research is computable structure theory — an areaof logic concerning itself with the...