El Teorema de Löwenheim-Skolem, conexiones y consecuencias

Director/a: 
María Manzano Arjona y Enrique Alonso González
Categoría: 
Resumen: 

Este artículo tratará sobre el significado y la importancia del teorema de Löwenheim-Skolem en sus diferentes versiones. Comenzaremos con una sección introductoria para explicar los conceptos y la terminología con los que se trabajará. La primera sección central del texto tratará sobre las versiones del teorema primigenio: comenzará enunciándolos entrelazadamente con la historia de cómo fueron descubriéndose, seguirá con una subsección dedicada a probar la equivalencia de otra de las versiones con el axioma de elecciones dependientes, y terminará con otra subsección explicando el sentido de por qué la llamada paradoja de Skolem no es en realidad una paradoja. La segunda sección central tratará sobre el teorema de Löwenheim-Skolem generalizado, en cómo este se divide en dos subteoremas, y de la relación de estos con el axioma de elección. Finalmente, la última sección tratará sobre las conclusiones que el autor entiende que se obtienen de todo lo expuesto previamente.

En el curso 2023-2024 la sede del máster es la Universidad de Granada

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad