Teoría de Modelos

La teoría de modelos trata una rama de la lógica matemática que muestra conexiones entre un lenguaje formal y sus interpretaciones o modelos. Este es el primer y más exitoso libro de texto en teoría de modelos lógica. Extensamente actualizado y corregido en 1990 para adaptarse a los desarrollos en los métodos de la teoría de modelos, incluyendo la teoría de clasificación y el análisis no estándar, la tercera edición añadió secciones, ejercicios y referencias completamente nuevas.
Cada capítulo introduce un método individual y discute aplicaciones específicas. Los métodos básicos para construir modelos incluyen constantes, cadenas elementales, funciones de Skolem, indiscernibles, ultraproductos y modelos especiales. Los capítulos finales presentan temas más avanzados que combinan varios métodos. Este tratamiento clásico cubre la mayoría de los aspectos de la teoría de modelos de primer orden y muchas de sus aplicaciones al álgebra y la teoría de conjuntos.

Autor: C. C. Chang, H. Jerome Keisler
Editorial: Dover Publications
Publicado: 13/06/2012
Páginas: 650
Tipo de encuadernación: Tapa blanda
Peso: 1.90lbs
Tamaño: 9.10h x 6.10w x 1.40d
ISBN13: 9780486488219
ISBN10: 0486488217
Categorías BISAC:
- Matemáticas | Lógica
- Matemáticas | Teoría de conjuntos

Sobre el autor
H. Jerome Keisler fue profesor durante mucho tiempo en la Universidad de Wisconsin, Madison, cuya investigación incluyó la teoría de modelos y el análisis no estándar. Es conocido por extender la construcción de Henkin a lo que ahora se llama modelos de Henkin-Keisler.
C. C. Chang, profesor emérito de matemáticas en la UCLA, también se centró en la teoría de modelos y demostró el teorema de la partición ordinal. La conjetura de Chang lleva su nombre, al igual que el forzamiento ccc.

Este título no es retornable