Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Publicado
Superestabilidad en Q-Clases Elementales Abstractas
Superstability in Q-Abstract Elementary Clases
Palabras clave:
Q-Clase Elemental Abstracta, superestabilidad, teorema de Shelah-Villaveces, ruptura, carácter local de la no-ruptura (es)Q-Abstract Elementary Class, superstability, Shelah-Villaveces Theorem, splitting, local character of non-splitting (en)
Descargas
En 2006 Andrew Coppola introdujo el concepto de Q-Clase Elemental Abstracta como una generalización de la clase de modelos de una sentencia en la lógica Lω1, ω (Q) [5]. Basado en [7], Coppola hace una adaptación del argumento de transferencia de categoricidad de Grossberg y VanDieren bajo tres supuestos adicionales. Para justificar uno de los supuestos hechos por Coppola, en [13] se hace una adaptación de los conceptos básicos de superestabilidad en Clases Elementales Abstractas para justificar uno de los supuestos hechos por Coppola. El objetivo de este resumen extendido es explicar esta adaptación de una manera esquemática.
In 2006 Andrew Coppola introduced the Q-Abstract Elementary Class concept as a generalization of the class of models of a sentence in the logic Lω1, ω (Q) [5]. Based on [7], Coppola makes an adaptation of the Grossberg and VanDieren argument of categoricity transfer under three additional assumptions. To justify one of Coppola's assumptions, an adaptation of basic superestability concepts in Abstract Elementary Classes, is made in [13] to justify one of the assumptions of Coppola. The objective of this extended summary is to explain this adaptation in a schematic way.
Referencias
John T Baldwin, Categoricity, vol. 50, American Mathematical Soc., 2009.
Will Boney, Tameness from large cardinal axioms, The Journal of Symbolic Logic 79 (2014), no. 4, 1092-1119.
Will Boney, Rami Grossberg, Monica M VanDieren, and Sebastien Vasey, Superstability from categoricity in abstract elementary classes, Annals of Pure and Applied Logic 168 (2017), no. 7, 1383-1395.
Will Boney, Monica M VanDieren, and Sebastien Vasey, Shelah-villaveces revisited, arXiv preprint arXiv:1611.05292 (2016).
Andrew H Coppola, The theory of q-abstract elementary classes, Ph.D. thesis, University of Illinois at Chicago, 2006.
Christian Espíndola, A topos-theoretic proof of shelah's eventual categoricity conjecture for abstract elementary classes, arXiv preprint ar-Xiv:1906.09169 (2019).
Rami Grossberg and Monica VanDieren, Shelah's categoricity conjecture from a successor for tame abstract elementary classes, Journal of Symbolic Logic (2006), 553-568.
Rami Grossberg, Monica VanDieren, and Andrés Villaveces, Uniqueness of limit models in classes with amalgamation, Mathematical Logic Quarterly 62 (2016), no. 4-5, 367-382.
Rami Grossberg and Sebastien Vasey, Equivalent definitions of superstability in tame abstract elementary classes, The Journal of Symbolic Logic 82 (2017), no. 4, 1387-1408.
Michael Lieberman and Jirí Rosick`y, Classification theory for accessible categories, The Journal of Symbolic Logic 81 (2016), no. 1, 151-165.
Michael Makkai and Saharon Shelah, Categoricity of theories in lkw, with k a compact cardinal, Annals of Pure and Applied Logic 47 (1990), no. 1, 41-97.
Michael Morley, Categoricity in power, Mathematical Logic In The 20th Century, World Scientific, 2003, pp. 274-298.
José Nicolás Nájar Salinas, Sobre la superestabilidad en q-clases elementales abstractas, Trabajo final de maestría, Universidad Nacional de Colombia, 2020. https://repositorio.unal.edu.co/handle/unal/77951.
Samuel Roldan, Around infinitary categorical logic (work in progress), 2023.
Saharon Shelah, Categoricity in @1 of sentences in Lw1, w(q), Israel Journal of Mathematics 20 (1975), no. 2, 127-148.
Saharon Shelah, Classification of non elementary classes ii abstract elementary classes, Classification theory, Springer, 1987, pp. 419-497.
Saharon Shelah, classes, Classification theory, Springer, 1987, pp. 264-418.
Saharon Shelah, Categoricity for abstract classes with amalgamation, Annals of Pure and Applied Logic 98 (1999), no. 1-3, 261-294.
Saharon Shelah and Sebastien Vasey, Categoricity and multidemensional diagrams, (2018).
Saharon Shelah and Andrés Villaveces, Toward categoricity for classes with no maximal models, Annals of Pure and Applied Logic 97 (1999), no. 1-3, 1-25.
Monica VanDieren, Categoricity in abstract elementary classes with no maximal models, Annals of Pure and Applied Logic 141 (2006), no. 1-2, 108-147.
Monica M VanDieren, Symmetry and the union of saturated models in superstable abstract elementary classes, Annals of Pure and Applied Logic 167 (2016), no. 4, 395-407.
Sebastien Vasey, Downward categoricity from a successor inside a good frame, Annals of Pure and Applied Logic 168 (2017), no. 3, 651-692.
Sebastien Vasey, Saturation and solvability in abstract elementary classes with amalgamation, Archive for Mathematical Logic 56 (2017), no. 5-6, 671-690.
Sebastien Vasey, Superstability and categoricity in abstract elementary classes, Ph.D. thesis, Carnegie Mellon Unievrsity, 2017.
Sebastien Vasey, Toward a stability theory of tame abstract elementary classes, Journal of mathematical logic 18 (2018), no. 02, 1850009.
