A structure consists of a domain together with interpretations of the symbols of a formal language. In the usual finitary setting it interprets constant, function, and relation symbols of their declared arities. A first-order structure is such an interpretation for first-order logic.
Articles by others on the same topic
In mathematical logic, a **structure** (also known as a **model**) is a formal representation that provides a specific interpretation of a logical language. A structure consists of a set along with functions, relations, and constants that define the meanings of the symbols in the language. Structures are used to evaluate the truth of statements within a given logical framework.