KnowraStructure (mathematical logic)Linked fromLinked fromThe 7 pages that link to Structure (mathematical logic), each with the reason it gives.All 7Related 5Narrower topic 2Model theoryRelated: Structures are the mathematical objects in which sentences receive truth values.Domain of discourseNarrower topic: Its underlying set is the domain over which the structure interprets formulas.Löwenheim–Skolem theoremRelated: Models are structures, and their domains determine their cardinalities.Elementary equivalenceNarrower topic: Elementary equivalence compares structures interpreting the same symbols.Atomic formulaRelated: The structure supplies the objects and relations evaluated by atomic formulas.Skolem's paradoxRelated: A set-theoretic model is a structure with a domain and an interpretation of membership.Universe (mathematics and logic)Related: Its domain supplies the universe in which formulas receive truth values.