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.

Chang's model is a model of ZF. Kenneth Kunen proved in Kunen (1973) that the axiom of choice fails in Chang's model provided there are sufficient large cardinals, such as uncountable many measurable cardinals.

References

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
Kunen, Kenneth (1973). Mathias, A.R.D.; Rogers, H. (eds.). "A model of the negation of the axiom of choice". Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics. Springer, Berlin, Heidelberg. 337: 489–494. doi:10.1007/BFb0066786.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.