Teoría de modelos para principiantes. 15 conferencias

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 10 votos.

Título original:

Model Theory for Beginners. 15 Lectures

Contenido del libro:

Este libro presenta una introducción a la teoría de modelos en 15 conferencias.

Se centra en varios conceptos clave: definibilidad de primer orden, clasificación de tipos completos, extensiones elementales, categoricidad, automorfismos y saturación; todo ello ilustrado con ejemplos que no requieren ni álgebra avanzada ni teoría de conjuntos. Se ofrece una demostración completa del teorema de compacidad para lenguajes contables y sus aplicaciones, seguida de una discusión de la técnica Ehrefeucht-Mostowski para construir modelos que admiten automorfismos.

Otros temas tratados son la saturación recursiva, los modelos no estándar de aritmética, la demostración teórica de modelos de Abraham Robinson del teorema de Tarski sobre la indefinibilidad de la verdad y la demostración del Teorema de Ramsey infinito utilizando una extensión elemental del modelo estándar de aritmética.