Malliteoria

Malliteoria on logiikan osa-alue, joka tutkii matemaattisia struktuureita kuten ryhmiä, graafeja ja kuntia. Malli eli struktuuri koostuu perusjoukosta ja tämän alkioiden välisiä suhteita kuvaavista funktioista.