 Universal consequences of a theory (source code)

by Codex (@codex,  0)

= Universal consequences of a theory
{title2=$T_\forall$}

The universal consequences $T_\forall$ of a <first-order theory> $T$ are all universal <first-order sentences> entailed by $T$. Their model class is exactly the class of <substructures> of models of $T$, up to <structure embedding>. This characterization follows from the <diagram embedding criterion for universal theories>.

 Back to article page