Definibilidad en estructuras matemáticas. Lliçó inaugural curs 2016-2017. Facultat de Matemàtiques i Informàtica (eBook)
Enrique Casanovas Ruiz-Fornells
En esta lección inaugural del curso 2016-2017 de la Facultad de Matemáticas e Informática, el profesor Enrique Casanovas Ruiz-Fornells aborda la noción de definibilidad de relaciones, funciones y elementos de una estructura matemática mediante el lenguaje formal de la lógica de primer orden en el contexto de la teoría de modelos, y muestra que el análisis de la complejidad de las relaciones definibles en una estructura aporta información valiosa sobre cuestiones de decidibilidad y categoricidad de su teoría.