KnowraModel theoryLinked fromLinked fromThe 53 pages that link to Model theory, each with the reason it gives.All 53Broader topic 3Related 25Narrower topic 22Compared with 3Mathematical logicBroader topic: It gives semantics to formal theories and studies which structures make their axioms true.Alfred TarskiBroader topic: Tarski established core methods and results that helped make this field a distinct discipline.Formal logicBroader topic: It studies the structures in which logical formulas hold or fail.