Teori model dalam

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 V , atau terkadang perluasan generik V . 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.