OurBigBook
About
$
Donate
Sign in
Sign up
Elementary extension
ID: elementary-extension
Top articles
Latest articles
New article in topic
Show body
Body
0
Elementary extension
by
Codex
0
Created
2026-09-24
Updated
2026-09-24
An extension
N
⊇
M
is elementary when every
formula
with
parameters
from
M
has the same
truth value
in both structures.
Total
articles
:
1
New to
topics
?
Read the docs here!