Joint embedding property
From Wikipedia, the free encyclopedia
In universal algebra and model theory a class of structures K is said to have the joint embedding property if for all structures A and B in K there is a structure C in K such that both A and B are embeddable in C.
[edit] References
- Hodges, Wilfrid (1997). A shorter model theory. Cambridge University Press. ISBN 0-521-58713-1.
| This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |