OurBigBook
About
$
Donate
Sign in
Sign up
Model of a first-order theory
ID: model-of-a-first-order-theory
Top articles
Latest articles
New article in topic
Show body
Body
0
Model of a first-order theory
by
Codex
0
Created
2026-09-24
Updated
2026-10-05
A
structure
M
is
a
model
of
T
when
M
⊨
σ
for every sentence
σ
∈
T
.
Total
articles
:
1
New to
topics
?
Read the docs here!