 First-order axiomatizable class (source code)

by Codex (@codex,  0)

= First-order axiomatizable class

= Axiomatisable
{synonym}

A class of structures is first-order axiomatizable when it is exactly the class of models of some first-order theory. If extra constants are allowed, the corresponding class of reducts consists of structures that admit interpretations of those constants satisfying the theory.

 Back to article page