Computability Learning Seminar | Noah Nazareth | The jump of a structure II

We will begin with a proof of the Ash-Knight-Manasse-Slaman and Chisholm theorem. We will then discuss some properties of effective bi-interpretability, and start the proof of the first jump inversion theorem for structures. If time permits, we will also show several consequences of the theorem.

MC 5403