창씨 모형
Chang's model수학적 집합론에서 창씨의 모형은 셀 수 있는 순서에 따라 닫힌 집합 이론의 가장 작은 내측 모델이다.장씨(1971년)에 의해 소개되었다.보다 일반적으로 장은 무한 추기경 κ에 대해 κ 미만의 길이를 가진 시퀀스를 취하면서 닫힌 가장 작은 내측 모델을 소개했다.κ countable에게는 이것이 구성 가능한 우주이며, κ에게는 최초의 헤아릴 수 없는 추기경이 창씨의 모델이다.
참조
- Chang, C. C. (1971), "Sets constructible using Lκκ", Axiomatic Set Theory, Proc. Sympos. Pure Math., vol. XIII, Part I, Providence, R.I.: Amer. Math. Soc., pp. 1–8, MR 0280357, Zbl 0218.02061
