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

We will begin our discussion of the first jump inversion theorem for structures by covering some necessary background such as defining the jump of a structure and effective bi-interpretability.

MC 5301