Teori model dalam: Perbedaan revisi

7 bita dihapus ,  6 bulan yang lalu
tidak ada ringkasan suntingan
Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan
Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan
 
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]].
 
== Contoh-contoh ==
 
* [[Kelas (matematika)|Kelas]] semua himpunan adalah model dalam berisi semua model dalam lainnya.
2.955

suntingan