## [Clase Elemental](/es/node/61014) Definición 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 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 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 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 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 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 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 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 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.