Jabarkan Teori model hingga dari Teori model

Teori model hingga (TMH) adalah subarea teori model (TM) dari pembatas pada interpretasi struktur berhingga, yang memiliki semesta berhingga.

Karena banyak teorema sentral teori model tidak berlaku ketika terbatas pada struktur berhingga, TMH sangat berbeda dari TM dalam metode pembuktiannya. Hasil utama dari teori model klasik yang gagal untuk struktur berhingga di bawah FMT termasuk teorema kompak, Teorema kelengkapan Gödel, dan metode ultraproduk untuk logika orde pertama.

Area aplikasi utama FMT adalah teori kompleksitas deskriptif, teori database dan teori bahasa formal.