¿Cuál es el principal uso de los indiscernibles en la teoría de modelos? Leyendo la Teoría de Modelos de Chang y Keisler parece que la principal motivación de los indiscernibles es para conseguir muchos modelos no isomórficos para una teoría (como la teoría del orden lineal denso sin punto final). Además, ¿puede recomendar la mejor fuente para leer sobre los indiscernibles y sus usos?
Respuestas
¿Demasiados anuncios?
Anduzobo
Puntos
1
Otro uso de los indiscernibles fue hecho en 1977 por Paris & Harrington para establecer que una versión ceetain del teorema de Ramsey finito RT (que es verdadero en el modelo estándar de la aritmética) puede ser usado para construir un modelo de la Aritmética de Peano, por lo tanto por el teorema de incompletitud de Godel RT no es demostrable desde PA.
akjain
Puntos
156
- Ver respuestas anteriores
- Ver más respuestas
3 votos
No sé si esto es lo que te interesa, pero: un uso más moderno de las secuencias indiscernibles es el estudio de las teorías "agradables" (simples, o estables, o . . .) a través de las secuencias de Morley, que son secuencias indiscernibles que satisfacen propiedades adicionales. Por ejemplo, en una teoría simple, las secuencias de Morley atestiguan las interdependencias de una manera muy agradable (véase el artículo de Grossberg, Iovino y Lessman "A Primer of Simple Theories").