Teori model dalam itu apa sih?

Dalam teori himpunan, teori model dalam merupakan studi mengenai model tertentu atau suatu bagian atau penguatan darinya. Biasanya model-model ini adalah himpunan bagian transitif atau subkelas dari semesta von Neumann , atau terkadang perluasan generik . 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.