Lógica de primer orden y estructuras algebraicas. Solicitud de referencia.

Question

Me he encontrado con muchos resultados sobre propiedades relacionadas con la lógica de las estructuras algebraicas, como la equivalencia elemental, la axiomaticidad, la definibilidad, etc. El problema es que cuando veo la demostración o un esquema de la misma, entiendo una de cada tres palabras o menos. ¿Qué debería leer para entender bien los métodos utilizados en estas pruebas? Apreciaría mucho un libro centrado principalmente en el álgebra y la lógica de primer orden.

Answer 1

Una excelente opción es el libro de texto de Wilfred Hodges Teoría de los modelos que entra en mucho más detalle que la mayoría de las alternativas, y tiene muchas notas esclarecedoras que le ayudarán a "pensar como un teórico del modelo" (¡y algunos buenos chistes para empezar!) También son extremadamente útiles los muchos artículos de estudio en el Manual de lógica matemática (editado por J. Barwise)

Answer 2

Un libro útil (¡y gratuito!) es Fundamentos de la teoría de modelos por Weiss y D'Mello.

Apoyo la recomendación de Hodges Teoría de los modelos . Es más útil a largo plazo que su Teoría del modelo más corto .

Marcador de Teoría de los modelos también es muy bueno.