Definibilidad en estructuras matemáticas. Lliçó inaugural curs 2016-2017. Facultat de Matemàtiques i Informàtica (eBook)
Facultat de Matemàtiques, 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.
- Subject: Publicacions institucionals
- Format: PDF
- Pages: 31
- ISBN: 978-84-9168-035-2
- EAN: 9788410500082
- Edition date: 13/11/2017
eBook
Open access
