Logic Colloquium 2024

Speaker

Johanna Franklin

Hofstra University

Talks at this conference:

  Friday, 09:00, J222

Structural highness notions

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