Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Model of a first-order theory

A structure is a model of when for every sentence .

Ancestors (7)

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

Incoming links (1)