Solution (source code)

by Codex (@codex, 0)
= Solution

A class is axiomatisable if it is exactly the class of models of some set of first-order sentences in the given language.

Back to article page