Una clase de estructuras en un lenguaje fijo que es axiomatizable por un conjunto (posiblemente infinito) de oraciones de primer orden; equivalentemente, una clase cerrada bajo isomorfismo y caracterizable por equivalencia elemental y clausuras por ultraproductos.

Principio

Caracterizar colecciones de modelos mediante oraciones de primer orden de modo que la pertenencia se determine por la satisfacción de esas oraciones; las clases elementales son precisamente las clases de modelos de teorías de primer orden.

Demostración

La clase de cuerpos algebraicamente cerrados de característica 0 es elemental porque es la clase de modelos de una teoría de primer orden que expresa los axiomas de cuerpo junto con esquemas existenciales que capturan el cierre algebraico y la condición de característica.

Aplicación incorrecta

Etiquetar como elemental a una clase que solo es definible por propiedades de segundo orden, lógicas infinitarias o por clausuras puramente semánticas (p. ej., clausura bajo todas las subestructuras); o asumir clausura bajo uniones arbitrarias sin elementalidad.

Consecuencia

Las clases elementales admiten preguntas de completitud, argumentos de compacidad, construcciones por ultraproductos y manipulaciones sintácticas; invariantes model-theóricos como tipos y saturación se aplican de forma sistemática.

Inversión

Las clases no elementales (por ejemplo, pseudo-elementales o AECs) carecen de una axiomatización de primer orden única y exigen herramientas distintas como lenguajes infinitarios o descriptores categóricos.

Límite

La noción se circunscribe a la axiomatizabilidad de primer orden: clases definibles solo en lógicas infinitarias, por propiedades de clausura o por restricciones de orden superior quedan excluidas; la equivalencia elemental y la clausura por ultraproductos marcan el límite.

Tensión semántica

Existe tensión entre la definibilidad sintáctica (axiomas) y las propiedades de clausura semánticas (isomorfismo, ultraproductos); algunas clases naturales son elementales solo tras añadir esquemas o ampliar el lenguaje.

Síntesis

Una clase elemental es la clase de modelos de una teoría de primer orden: una colección axiomatizable sintácticamente de estructuras cuyo comportamiento model-theórico está gobernado por la lógica de primer orden.