universal structure
Let be a first order language, and let be an elementary class of -structures![]()
.
Let be a cardinal. be the set of structures from with cardinality less than or equal to .
Let .
Suppose that for every there is an embedding of into .
Then we say is universal
.
| Title | universal structure |
|---|---|
| Canonical name | UniversalStructure |
| Date of creation | 2013-03-22 13:23:09 |
| Last modified on | 2013-03-22 13:23:09 |
| Owner | Timmy (1414) |
| Last modified by | Timmy (1414) |
| Numerical id | 4 |
| Author | Timmy (1414) |
| Entry type | Definition |
| Classification | msc 03C50 |
| Classification | msc 03C52 |
| Defines | universal |