elementary embedding (original) (raw)
Remark. A chain š1āš2āāÆāšnāāÆ of Ļ-structures is called an elementary chain if ši is an elementary substructure of ši+1 for each i=1,2,ā¦. It can be shown (Tarski and Vaught) that
is a Ļ-structure that is an elementary extension of ši for every i.
| Title | elementary embedding |
|---|---|
| Canonical name | ElementaryEmbedding |
| Date of creation | 2013-03-22 13:00:29 |
| Last modified on | 2013-03-22 13:00:29 |
| Owner | CWoo (3771) |
| Last modified by | CWoo (3771) |
| Numerical id | 5 |
| Author | CWoo (3771) |
| Entry type | Definition |
| Classification | msc 03C99 |
| Synonym | elementary monomorphism |
| Defines | elementary substructure |
| Defines | elementary extension |
| Defines | elementary chain |