Cargando…
Teoría de conjuntos, lógica y temas afines /
El libro provee un tratamiento accesible, a la vez que riguroso, de varios temas de lógica matemática intermedia y avanzada. Este primer volumen contiene la teoría clásica de modelos y sus aplicaciones –privilegiando el álgebra– los teoremas de incompletitud de Gôdel y extensiones mediante la lógica...
| Clasificación: | QA248 F4.77 |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Español |
| Publicado: |
México, D. F. :
Universidad Autonoma Metropolitana, Unidad Iztapalapa, División de Ciencias Sociales y Humanidades : Universidad Autónoma Metropolitana, Unidad Iztapalapa, División de CIencias Básicas e Ingeniería,
2013-2017.
|
| Edición: | Primera edición. |
| Temas: |
Tabla de Contenidos:
- volumen 1 (xix, 671 páginas). Teoría de conjuntos, lógica y temas afines I.
- I. Recursividad.
- II. Teoremas de incompletud de Gödel.
- III. Construcciones elementales en la teoría de modelos: Maitines.
- IV. Teoría de modelos básica: Laudes.
- V. Teoría de modelos avanzada: Prima.
- VI. Teoría de modelos en módulos Kualkan.
- VII. Teoría de modelos en módulos Tiotlak
- volumen 2 (xvii, 1065 páginas). I. Teoría de Zermelo-Fraenkel y el axioma de elección.
- II. Aritmetización e incompletud de ZFE.
- III. Grandes cardinales: los pequeños.
- IV. Universo construible.
- V. Admisibilidad, recursión y constructibilidad rudimentaria.
- VI. Lenguajes infinitarios.
- VII. Cardinales compacto débiles y similares.
- VIII. Lógica modal proposicional desde una perspectiva semántica.
- IX. Completud, incompletud y aplicaciones de los sistemas modales.