Structure (mathematical Logic) Article Index for
Structure
Website Links For
Structure
 

Information About

Structure (mathematical Logic)





USAGE NOTE

The term model, as used in model theory, is essentially synonymous with "structure", but tends to be used in different contexts. Typically, the term "model" is used when one has a specific Theory in mind, and is considering only models of that theory—that is, structures that satisfy every sentence in the theory. "Structure", on the other hand, tends to be used when less of the behavior of the structure is known or specified.