Resumen de Origen y desarrollo de la teoría de modelos núcleo I

José Adrián Gallardo Quiroz, Edgar Alonso Valenzuela Nuncio, Luis Miguel Villegas Silva

• español

  Se presenta una descripción del origen y desarrollo de la teoría de modelos núcleo hasta el modelo de Mitchell con sucesiones de medidas. Se describe la problemática asociada a ellos, técnicas, resultados y construcciones relacionados, así como las propiedades de grandes cardinales que los distinguen. Se discuten las fuentes apropiadas para seguir el desarrollo de la teoría, así como diversas referencias para sus aplicaciones. Al final se introducen los extensores para preparar (segunda parte) el desarrollo de modelos núcleo superiores.

• English

  We examine the origin and development of core model theory, up to Mitchell’s model of sequences of measures. We describe the difficulties associated with such models and related techniques, and constructions. Moreover, we address the large cardinals and covering theorems associated with these models. We discuss the appropriate bibliography to follow along with the development of the theory and its various applications. Towards the end, we introduce extenders to prepare the development of higher core models.