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

Noah Nazareth, University of Waterloo

The jump of a structure III

We will continue our proof of the Ash-Knight-Manasse-Slaman and Chisholm theorem. We will then define and discuss effective bi-interpretability and start the proof of the first jump inversion theorem for structures.

MC 5403