Quartz 5
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Foundations
❯
First Order Logic
❯
Elementary Embedding
Elementary Embedding
Jun 05, 2026
1 min read
A morphism
is an elementary
-embedding if for any
-formula
and
:
Graph View
Backlinks
Elementary Substructure
Model Theory