Mathematical logic and foundations Model theory: basic notions Concept
Elementary embedding
Summary
An elementary embedding is a map between two structures of the same signature that preserves and reflects the truth of every first-order formula. Its image is an elementary substructure of the target, isomorphic to the source. Elementary embeddings are the natural maps of model theory, and in set theory they are used to define large cardinals.
Where this leads
5 pages build on this one.
Further reading
About this page
| Tag | CGH8C8EA9N |
|---|---|
| URI | m2://CGH8C8EA9N |
| Kind | concept |
| Writing | W0 stub |
| MSC | 03C07 |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.