Timeline for Elementary extensions of direct product
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 13, 2017 at 6:14 | vote | accept | Sh.M1972 | ||
| Feb 12, 2017 at 16:38 | comment | added | Danielle Ulrich | Also, in the previous comment I meant to say $\cdot_2$ is a group operation on $U_2$. | |
| Feb 12, 2017 at 16:37 | comment | added | Danielle Ulrich | @Ramiro de la Vega fixed. | |
| Feb 12, 2017 at 16:36 | history | edited | Danielle Ulrich | CC BY-SA 3.0 |
clarification
|
| Feb 12, 2017 at 15:55 | comment | added | Danielle Ulrich | @M. Shahryari $U_1$ and $U_2$ are unary symbols, and $T$ will say that $\cdot_1$ is a group operation on $U_1$ (and trivial on $U_2$) and $\cdot_2$ is a group operation on $U_1$. So a model of $T$ is the disjoint union of two groups. | |
| Feb 12, 2017 at 11:33 | comment | added | Ramiro de la Vega | You probably also want some constants in the language to add the complete diagrams of $G_1$ and $G_2$, since the OP asks for elementary embeddings not just elementary equivalence. | |
| Feb 12, 2017 at 7:34 | comment | added | Sh.M1972 | Thank you very much Douglas Ulrich. I am not a Model Theorist, so I need a bit more explanation. What do you mean by $U_1$ and $U_2$? Actually, I can't understand the above language which has two binary functional and two (maybe) unary symbols. | |
| Feb 11, 2017 at 19:20 | history | answered | Danielle Ulrich | CC BY-SA 3.0 |