Estructura (lógica)

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En álgebra universal y en teoría de modelos, una estructura consiste en un conjunto acompañado con una colección de funciones y relaciones finitas las cuales están definidas en él. El álgebra universal estudia estructuras que generalizan las estructuras algebraicas tales como grupos, anillos, campos, retículos y espacios vectoriales. El término álgebra universal es usado para estructuras sin símbolos de relaciones. La teoría de modelos tiene un alcance diferente que abarca teorías mas arbitrarias, incluyendo estructuras mas fundamentales como modelos de la teoría de conjuntos. Desde el punto de vista modelo-teórico, las estructuras son objetos usados para definir la semántica de lógicas de primer orden.