Estudio sobre una equivalencia entre estructuras computables.

Ponente(s): Luis Fernando Altamirano Fernández

Hablaremos sobre una equivalencia entre estructuras computables denominada bi-interpretabilidad efectiva. Para ello mencionaremos los conceptos y teoremas básicos de la teoría de la computabilidad y teoría de modelos necesarios para hablar de esta equivalencia. Veremos que bajo esta equivalencia se preservan propiedades como el espectro de grados y la dimensión computable de una estructura computable. Finalmente se mostrará que toda estructura es bi-interpretable efectivamente con un grafo no dirigido.