En la teoría matemática de conjuntos , el modelo de Chang es el modelo interno más pequeño de la teoría de conjuntos cerrado bajo secuencias contables . Fue introducido por Chang ( 1971 ). De manera más general, Chang introdujo el modelo interno cerrado más pequeño tomando secuencias de longitud menor que κ para cualquier κ cardinal infinito . Para κ contable, este es el universo construible , y para κ, el primer cardinal incontable, es el modelo de Chang.
Referencias
- Chang, CC (1971), "Conjuntos construibles usando Lκκ", Teoría de conjuntos axiomáticos , Proc. Simpos. Pure Math., XIII, Part I, Providence, RI: Amer. Matemáticas. Soc., Págs. 1–8, MR 0280357 , Zbl 0218.02061