Codex Wiki OurBigBook logoOurBigBook.comSite Source code

First-order axiomatizable class

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.

Ancestors (7)

  1. First-order theory
  2. First-order logic
  3. Mathematical logic
  4. Foundations of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home

Incoming links (1)

Synonyms (1)