Logic Colloquium 2024

Plenary Talk

Structural highness notions

Johanna Franklin

Chair: Laurentiu Leu┼čtean

  Friday, 09:00, J222 ! Live

In computability theory, highness indicates maximal computational strength. We will develop the theory of highness in the context of computable structure theory. First, we will present some general results, and then we will turn to highness for structures such as Harrison orders and ill-founded linear orders. Finally, we will discuss the way the relationships between these concepts change when we restrict the functions that we use to find these isomorphisms.

This work is joint with Wesley Calvert and Dan Turetsky.

 Overview  Program