Model Changa

W matematycznej teorii mnogości model Changa jest najmniejszym wewnętrznym modelem teorii mnogości zamkniętym na policzalnych sekwencjach. Został wprowadzony przez Changa ( 1971 ). Mówiąc bardziej ogólnie, Chang wprowadził najmniejszy model wewnętrzny zamknięty, przyjmując ciągi o długości mniejszej niż κ dla dowolnego nieskończonego kardynała κ. Dla κ policzalnego jest to konstruowalny wszechświat , a dla κ pierwszego nieprzeliczalnego kardynała jest to model Changa.

•    Chang, CC (1971), „Zestawy konstruowalne przy użyciu Lκκ”, Aksjomatyczna teoria mnogości , Proc. Sympozjum Czysta matematyka, tom. XIII, część I, Providence, RI: Amer. Matematyka Soc., s. 1–8, MR 0280357 , Zbl 0218.02061