Resumen de clase elemental

En la teoría de modelos , una disciplina dentro de la lógica matemática , una clase elemental abstracta , o AEC para abreviar, es una clase de modelos con un orden parcial similar a la relación de una subestructura elemental de una clase elemental en la teoría de modelos de primer orden . Fueron introducidos por Saharon Shelah . ^[1]

${\displaystyle \langle K,\prec _ {K}\rangle }$, para una clase de estructuras en algún lenguaje , es un AEC si tiene las siguientes propiedades: ${\estilo de visualización K}$${\displaystyle L=L(K)}$

• ${\displaystyle \prec_{K}}$es una orden parcial en .${\estilo de visualización K}$
• Si entonces es una subestructura de .${\displaystyle M\prec_{K}N}$${\estilo de visualización M}$${\estilo de visualización N}$
• Isomorfismos : está cerrado bajo isomorfismos , y si y entonces${\estilo de visualización K}$${\displaystyle M,N,M',N'\en K,}$ ${\displaystyle f\colon M\simeq M',}$ ${\displaystyle g\colon N\simeq N',}$ ${\displaystyle f\subseteq g,}$${\displaystyle M\prec_{K}N,}$${\displaystyle M'\prec_{K}N'.}$
• Coherencia : Si y entonces${\displaystyle M_{1}\prec_{K}M_{3},}$ ${\displaystyle M_{2}\prec_{K}M_{3},}$${\displaystyle M_{1}\subseteq M_{2},}$${\displaystyle M_{1}\prec_{K}M_{2}.}$
• Axiomas de cadena de Tarski-Vaught : Si es un ordinal y es una cadena (es decir, ), entonces: ${\estilo de visualización \gamma}$${\displaystyle \{\,M_{\alpha }\mid \alpha <\gamma \,\}\subseteq K}$${\displaystyle \alpha <\beta <\gamma \implica M_{\alpha }\prec _{K}M_{\beta }}$
  • ${\displaystyle \bigcup _{\alpha <\gamma }M_{\alpha }\en K}$
  • Si , para todos , entonces${\displaystyle M_{\alpha}\prec_{K}N}$${\displaystyle \alpha <\gamma}$${\displaystyle \bigcup _{\alpha <\gamma }M_{\alpha }\prec _{K}N}$
• Axioma de Löwenheim–Skolem : Existe un cardinal , tal que sies un subconjunto del universo de, entonces hayencuyo universo contienetales quey. Denotamosel menor de talesy lo llamamos número de Löwenheim–Skolem de.${\displaystyle \mu \geq |L(K)|+\aleph _ {0}}$${\estilo de visualización A}$${\estilo de visualización M}$${\estilo de visualización N}$${\estilo de visualización K}$${\estilo de visualización A}$${\displaystyle \|N\|\leq |A|+\mu }$$Estilo de visualización N\prec _{K}M$${\displaystyle \nombre del operador {LS} (K)}$${\estilo de visualización \mu}$${\estilo de visualización K}$

Tenga en cuenta que, por lo general, no nos preocupamos por los modelos de tamaño menor que el número de Löwenheim–Skolem y, a menudo, suponemos que no hay ninguno (adoptaremos esta convención en este artículo). Esto está justificado ya que siempre podemos eliminar todos esos modelos de un AEC sin influir en su estructura por encima del número de Löwenheim–Skolem.

Una incrustación es una función para tal que y es un isomorfismo de sobre . Si resulta claro a partir del contexto, lo omitimos. ${\estilo de visualización K}$${\displaystyle f:M\rightarrow N}$${\displaystyle M,N\en K}$${\displaystyle f[M]\prec _{K}N}$${\estilo de visualización f}$${\estilo de visualización M}$${\estilo de visualización f[M]}$${\estilo de visualización K}$

Los siguientes son ejemplos de clases elementales abstractas: ^[2]

• Una clase elemental es el ejemplo más básico de una AEC: si T es una teoría de primer orden, entonces la clase de modelos de T junto con la subestructura elemental forma una AEC con número de Löwenheim–Skolem |T| .${\displaystyle \nombre del operador {Mod} (T)}$
• Si es una oración en la lógica infinitaria , y es un fragmento contable que contiene , entonces es un AEC con número de Löwenheim–Skolem . Esto se puede generalizar a otras lógicas, como , o , donde expresa "existen incontables".${\estilo de visualización \phi}$ ${\ Displaystyle L _ {\ omega _ {1}, \ omega}}$${\displaystyle {\mathcal {F}}}$${\estilo de visualización \phi}$${\displaystyle \langle \operatorname {Mod} (T),\prec _{\mathcal {F}}\rangle }$$estilo de visualización {\aleph _{0}}$${\displaystyle L_{\kappa,\omega}}$${\ Displaystyle L _ {\ omega _ {1}, \ omega} (Q)}$${\estilo de visualización Q}$
• Si T es una teoría superestable contable de primer orden , el conjunto de modelos -saturados de T , junto con la subestructura elemental, es un AEC con número de Löwenheim–Skolem .$estilo de visualización {\aleph _{1}}$${\displaystyle 2^{\aleph _ {0}}}$
• Los campos pseudoexponenciales de Zilber forman un AEC.

Los AEC son objetos muy generales y normalmente se hacen algunas de las suposiciones siguientes al estudiarlos:

• Un AEC tiene incrustación conjunta si dos modelos pueden incrustarse dentro de un modelo común.
• Un AEC no tiene un modelo máximo si algún modelo tiene una extensión adecuada.
• Un AEC tiene amalgama si para cualquier triple con , , hay y incrustaciones de y dentro de ese punto de fijación.${\estilo de visualización K}$${\displaystyle M_{0},M_{1},M_{2}\en K}$${\displaystyle M_{0}\prec_{K}M_{1}}$$Estilo de visualización M_{0}\prec_{K}M_{2}}$${\displaystyle N\en K}$$Estilo de visualización M_{1}$$Estilo de visualización M_{2}$${\estilo de visualización N}$${\estilo de visualización M_{0}}$

Obsérvese que en las clases elementales, la incrustación conjunta se cumple siempre que la teoría esté completa , mientras que la amalgama y la ausencia de modelos máximos son consecuencias bien conocidas del teorema de compacidad . Estos tres supuestos nos permiten construir un modelo universal homogéneo de monstruo , exactamente como en el caso elemental. ${\displaystyle {\mathfrak {C}}}$

Otra suposición que se puede hacer es la mansedumbre .

Shelah introdujo las conjeturas de categoricidad final para proporcionar un marco uniforme en el que generalizar la teoría de clasificación de primer orden . La teoría de clasificación comenzó con el teorema de categoricidad de Morley , por lo que es natural preguntarse si se puede obtener un resultado similar en las conjeturas de categoricidad final. Esta es la conjetura de categoricidad final de Shelah . Establece que debería haber un número de Hanf para la categoricidad:

Para cada AEC K debe haber un cardinal que dependa solo de tal que si K es categórico en algún (es decir, K tiene exactamente un modelo (hasta el isomorfismo) de tamaño ), entonces K es categórico en para todos los . ${\estilo de visualización \mu}$${\displaystyle \nombre del operador {LS} (K)}$ ${\displaystyle \lambda \geq \mu }$${\estilo de visualización \lambda}$${\estilo de visualización \theta}$ ${\displaystyle \theta \geq \mu }$

Shelah también tiene varias conjeturas más sólidas: el cardinal umbral para la categoricidad es el número Hanf de clases pseudoelementales en un lenguaje de cardinalidad LS(K). Más específicamente, cuando la clase está en un lenguaje contable y axiomazable por una oración, el número umbral para la categoricidad es . Esta conjetura se remonta a 1976. ${\ Displaystyle L _ {\ omega _ {1}, \ omega}}$${\displaystyle \beth _{\omega _{1}}}$

Se han publicado varias aproximaciones (véase, por ejemplo, la sección de resultados más abajo), que asumen supuestos de teoría de conjuntos (como la existencia de grandes cardinales o variaciones de la hipótesis del continuo generalizado ) o de teoría de modelos (como la amalgamación o la docilidad). A fecha de 2014, la conjetura original sigue abierta.

A continuación se presentan algunos resultados importantes sobre las AEC. Excepto el último, todos los resultados se deben a Shelah.

• Teorema de presentación de Shelah : ^[3] Cualquier AEC es : es una reducción de una clase de modelos de una teoría de primer orden omitiendo como máximo los tipos .${\estilo de visualización K}$${\displaystyle \operatorname {PC} _{2^{\operatorname {LS} (K)}}}$${\displaystyle 2^{\nombre del operador {LS} (K)}}$
• Número de Hanf para existencia : ^[4] Cualquier AEC que tenga un modelo de tamaño tiene modelos de tamaños arbitrariamente grandes.${\estilo de visualización K}$${\displaystyle \beth _{(2^{\operatorname {LS} (K)})^{+}}}$
• Amalgamación a partir de categoricidad : ^[5] Si K es un AEC categórico en y y , entonces K tiene amalgama para modelos de tamaño .${\displaystyle \lambda }$${\displaystyle \lambda ^{+}}$${\displaystyle 2^{\lambda }<2^{\lambda ^{+}}}$${\displaystyle \lambda }$
• Existencia a partir de categoricidad : ^[6] Si K es un AEC con número de Löwenheim–Skolem y K es categórico en y , entonces K tiene un modelo de tamaño . En particular, ninguna oración de puede tener exactamente un modelo incontable.${\displaystyle \operatorname {PC} _{\aleph _{0}}}$${\displaystyle \aleph _{0}}$${\displaystyle \aleph _{0}}$${\displaystyle \aleph _{1}}$${\displaystyle \aleph _{2}}$${\displaystyle L_{\omega _{1},\omega }(Q)}$
• Aproximaciones a la conjetura de categoricidad de Shelah :
  • Transferencia descendente desde un sucesor : ^[7] Si K es una clase elemental abstracta con amalgama que es categórica en un sucesor "suficientemente alto" , entonces K es categórica en todos los "suficientemente altos" .${\displaystyle \lambda }$${\displaystyle \mu \leq \lambda }$
  • Conjetura de categoricidad de Shelah para un sucesor a partir de cardenales grandes : ^[8] Si hay muchos cardenales fuertemente compactos de clase , entonces la conjetura de categoricidad de Shelah se cumple cuando comenzamos con la categoricidad en un sucesor.

• Clase elemental abstracta y domesticada