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 0:06 | comment | added | Ramiro de la Vega | @JosephVanName, perhaps it is also worth to mention Mostowski's general result On direct products of theories (JSL 1952). | |
| Feb 11, 2017 at 22:30 | comment | added | Joseph Van Name | The result also holds for reduced products and more general constructions by the Feferman-Vaught theorem (the Feferman-Vaught theorem is proven in the model theory book by Chang and Kiesler). | |
| Feb 11, 2017 at 20:00 | history | edited | Alireza Abdollahi |
edited tags
|
|
| Feb 11, 2017 at 19:20 | answer | added | Danielle Ulrich | timeline score: 8 | |
| Feb 11, 2017 at 14:11 | comment | added | Joel David Hamkins | I think the question is fine here. It is on-topic for MO. | |
| Feb 11, 2017 at 9:17 | comment | added | Marryamry | It's better to ask in math.stackexchange.com | |
| Feb 11, 2017 at 8:55 | history | asked | Sh.M1972 | CC BY-SA 3.0 |