Linked from

The 53 pages that link to Model theory, each with the reason it gives.

• Mostowski collapse lemmaRelated: The lemma is used to replace certain abstract models with isomorphic transitive set structures.

• Trakhtenbrot's theoremNarrower topic: Its distinction between finite and arbitrary structures gives the theorem its setting.

• Universe (mathematics and logic)Narrower topic: It examines how different universes can satisfy the same theory.