Benavente-Fokina, E. (2024, July 23). On structures with non-computable presentations [Conference Presentation]. AMS-UMI International Joint Meeting 2024, Palermo, Italy.
In computable structure theory, one usually measures the complexity of a structure
by identifying the structure with its atomic diagram. The structure is then computable if so is
its atomic diagram. The notion naturally relativises to non-computable oracles. However, for
structures without computable presentations, a finer way to measure the complexity is sometimes
more natural and suitable.
In this talk we discuss different approaches to measure the complexity of non-computable
structures and explain several of our recent results.
en
Project title:
Strukturen durch Lernen Klassifizieren: P 36781-N (FWF - Österr. Wissenschaftsfonds)