Teori model dalam: Perbedaan antara revisi

Dalam [[teori himpunan]], '''teori [[model dalam]]''' merupakan studi mengenai [[Teori model|model]] tertentu atau suatu bagian atau penguatan darinya. Biasanya model-model ini adalah [[himpunan bagian]] [[Himpunan transitif|transitif]] atau [[subkelas]] dari [[semesta von Neumann]] <math>V</math>, atau terkadang [[perluasan generik]] <math>V</math>. Teori model dalam mempelajari hubungan model-model ini dengan [[determinasi]], [['|kardinal besar]], dan [[teori himpunan deskriptif]]. Meskipun nama, ini dianggap lebih banyak cabang teori himpunan mengenai [[teori model]].

 

 

* [[Kelas (matematika)|Kelas]] semua himpunan adalah model dalam berisi semua model dalam lainnya.