Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Models of a Theory (First-Order Logic)

1 min read

first-order-logic

Definition

Models of a Theory (First-Order Logic)

For a theory :

Here ranges over structures. collects every structure that satisfies all sentences in .

Monotonicity

Theorem

Adding sentences shrinks the set of models:

Backlinks