Computability Learning Seminar

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"The Jump of a Structure"

Given a structure $\mathcal{A}$, we define another structure $\mathcal{A}'$ (in a different language) which we call the jump of $\mathcal{A}$. The main idea from the definition is to have that the first jump degree spectrum of $\mathcal{A}$ is exactly the degree spectrum of $\mathcal{A}$.

Through the few past years many definitions of $\mathcal{A}'$ were introduced, we use the most recent definition by Montalb\'an. We will mention some facts about the jump of a structure and prove that no structure is Medvedev equivalent to its own jump.

MC 5413