Model Theory

← Back to Domain-Specific Abstractions by Domain

7 domain-specific abstractions whose origin domain is Model Theory.

• Back-and-Forth Method — A countable-structure isomorphism method that alternately extends finite partial isomorphisms to cover the next source and target elements, then unions the chain.
• C-minimal theory — A model-theoretic theory whose definable one-variable sets are finite Boolean combinations of cones determined by a ternary C-relation.
• Definable set — A subset or relation in a mathematical structure consisting exactly of tuples satisfying a first-order formula, with or without named parameters.
• Diagram (mathematical logic) — The set of first-order sentences with named parameters that are true in a structure, with atomic and elementary variants preserving different amounts of information.
• Prime Model (Model Theory) — A model of a complete first-order theory that admits an elementary embedding into every model of that theory, making it the theory's embedding-minimal representative when one exists.
• Structure (mathematical logic) — A nonempty carrier together with interpretations of the constants, functions and relations in a formal signature.
• Transfer principle — A theorem or schema carrying all sentences of a specified logical language that hold in one structure to another related structure.