Structure (FOL)

Definition

Given a first order language, $\mathscr{L}$ a structure, denoted by $\mathbf{M}$ is a tuple, $\mathbf{M}:=(M,I)$ where:

• $M$ is a domain and
• $I:\mathscr{L}\rightarrow M$ is a map, called an interpretation

---

TODO: Put recall boxes into this page, so it's more than just 3 lines long!

---

See next

• Model