Chang's model
In mathematical set theory, Chang's model is the smallest inner model of set theory closed under countable sequences. It was introduced by Chang (1971). More generally Chang introduced the smallest inner model closed under taking sequences of length less than κ for any infinite cardinal κ. For κ countable this is the constructible universe, and for κ the first uncountable cardinal it is Chang's model.
References
- Chang, C. C. (1971), "Sets constructible using Lκκ", Axiomatic Set Theory, Proc. Sympos. Pure Math., XIII, Part I, Providence, R.I.: Amer. Math. Soc., pp. 1–8, MR 0280357, Zbl 0218.02061
This article is issued from Wikipedia - version of the 8/16/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.