Kategorie:Teorie modelů

Teorie modelů se zabývá vztahem mezi formálními teoriemi (souborem vět ve formálním jazyce vyjadřujících tvrzení o matematické struktuře) a jejich modely (strukturami, v nichž platí tvrzení teorie). Mezi zkoumané aspekty patří počet a velikost modelů teorie, vzájemný vztah různých modelů a jejich interakce se samotným formálním jazykem. Teorie modelů zkoumá mimo jiné množiny, které lze definovat v modelu teorie, a vzájemné vztahy těchto definovatelných množin.