En la teoría de modelos , una rama de la lógica matemática , el espectro de una teoría viene dado por el número de clases de isomorfismos de modelos en varias cardinalidades. Más precisamente, para cualquier teoría T completa en un lenguaje escribimos I ( T , α ) para el número de modelos de T (hasta isomorfismo) de cardinalidad α . El problema del espectro es describir los posibles comportamientos de I ( T , α ) en función de α . Se ha resuelto casi por completo para el caso de una teoría contable.T .
Primeros resultados
En esta sección, T es una teoría completa contable y κ es un cardinal.
El teorema de Löwenheim-Skolem muestra que si I ( T , κ ) es distinto de cero para un cardinal infinito, entonces es distinto de cero para todos ellos.
El teorema de categoricidad de Morley fue el primer paso principal para resolver el problema del espectro: establece que si I ( T , κ ) es 1 para algunos κ incontables, entonces es 1 para todos los κ incontables .
Robert Vaught demostró que I ( T , ℵ 0 ) no puede ser 2. Es fácil encontrar ejemplos en los que sea un entero no negativo dado distinto de 2. Morley demostró que si I ( T , ℵ 0 ) es infinito, entonces debe sea ℵ 0 o ℵ 1 o 2 ℵ 0 . No se sabe si puede ser ℵ 1 si la hipótesis del continuo es falsa: a esto se le llama la conjetura de Vaught y es el principal problema pendiente restante (en 2005) en la teoría del espectro.
El problema de Morley era una conjetura (ahora un teorema) propuesta por primera vez por Michael D. Morley de que I ( T , κ ) no es decreciente en κ para κ incontable . Esto fue probado por Saharon Shelah . Para ello, demostró un teorema de dicotomía muy profundo.
Saharon Shelah dio una solución casi completa al problema del espectro. Para una teoría completa dada T , o I ( T , κ ) = 2 κ para todos los cardinales incontables κ , opara todos los ordinales ξ (consulte el número de Aleph y el número de Beth para obtener una explicación de la notación), que suele ser mucho más pequeño que el límite en el primer caso. En términos generales, esto significa que o hay el máximo número posible de modelos en todas las cardinalidades incontables, o hay sólo "pocos" modelos en todas las cardinalidades incontables. Shelah también dio una descripción de los posibles espectros en el caso de que haya pocos modelos.
Lista de posibles espectros de una teoría contable
Al extender el trabajo de Shelah, Bradd Hart, Ehud Hrushovski y Michael C. Laskowski dieron la siguiente solución completa al problema del espectro para teorías contables en cardinalidades incontables. Si T es una teoría completa contable, entonces el número I ( T , ℵ α ) de clases de isomorfismo de modelos se da para los ordinales α> 0 por el mínimo de 2 ℵ α y uno de los siguientes mapas:
- 2 ℵ α . Ejemplos: hay muchos ejemplos, en particular cualquier teoría inclasificable o profunda, como la teoría del grafo aleatorio .
- para algún ordinal infinito contable d . (Para d finito, ver el caso 8.) Ejemplos: La teoría con relaciones de equivalencia E β para todo β con β + 1 < d , tal que cada clase E γ es una unión de infinitas clases E β , y cada clase E 0 es infinito.
- para algún ordinal positivo finito d . Ejemplo (para d = 1): la teoría de un número numerable de predicados unarios independientes.
- para algún ordinal positivo finito d .
- para algún ordinal d positivo finito ;
- para algún ordinal positivo finito d . Ejemplo (para d = 1): la teoría de muchos predicados unarios inconexos contables.
- para algún ordinal finito d ≥2;
- para algún ordinal d positivo finito ;
- para algún ordinal finito d ≥2; Ejemplos: similar al caso 2.
- . Ejemplo: la teoría de los enteros vista como un grupo abeliano.
- para α finito, y | α | para α infinito, donde G es algún subgrupo del grupo simétrico en n ≥ 2 elementos. Aquí, identificamos α n con el conjunto de secuencias de longitud n de elementos de un conjunto de tamaño α. G actúa sobre α n permutando los elementos de la secuencia, y | α n / G | denota el número de órbitas de esta acción. Ejemplos: la teoría del conjunto ω × n sobre la que actúa el producto de corona de G con todas las permutaciones de ω.
- . Ejemplos: teorías que son categóricas en incontables cardinales, como la teoría de campos algebraicamente cerrados en una característica dada.
- . Ejemplos: teorías con modelo finito y teoría inconsistente.
Además, todas las posibilidades anteriores ocurren como el espectro de alguna teoría completa contable.
El número d en la lista anterior es la profundidad de la teoría. Si T es una teoría se define una nueva teoría 2 T sea la teoría, con una relación de equivalencia de tal manera que hay un número infinito de clases de equivalencia de cada uno de los cuales es un modelo de la camiseta . También definimos teorías por , . Luego. Esto se puede usar para construir ejemplos de teorías con espectros en la lista anterior para valores no mínimos de d a partir de ejemplos para el valor mínimo de d .
Ver también
Referencias
- CC Chang , HJ Keisler , teoría de modelos . ISBN 0-7204-0692-7
- Saharon Shelah , "Teoría de la clasificación y el número de modelos no isomorfos", Estudios de lógica y fundamentos de las matemáticas , vol. 92, IX, 1.19, p. 49 (Holanda Septentrional, 1990).
- Hart, Bradd; Hrushovski, Ehud; Laskowski, Michael C. (2000). "Los espectros incontables de teorías contables". Los anales de las matemáticas . 152 (1): 207–257. arXiv : matemáticas / 0007199 . Bibcode : 2000math ...... 7199H . doi : 10.2307 / 2661382 . JSTOR 2661382 .
- Bradd Hart, Michael C. Laskowski, "Un estudio de los incontables espectros de las teorías contables", Teoría del modelo algebraico , editado por Hart, Lachlan, Valeriote (Springer, 1997). ISBN 0-7923-4666-1