Timeline for Reference request: quantifier elimination test
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 25, 2019 at 17:28 | comment | added | user221330 | You are correct, I had a particular example in mind while typing and did not adjust for that. Thank you! | |
| Aug 25, 2019 at 17:27 | vote | accept | user221330 | ||
| Jul 7, 2019 at 22:24 | history | became hot network question | |||
| Jul 7, 2019 at 18:15 | comment | added | Thomas Scanlon | You really mean to replace $\aleph_1$-saturated by $|{\mathcal L}|^+$-saturated. Also, it suffices to consider just the forth direction. That is, the last sentence beginning "In addition" may be dropped. | |
| Jul 7, 2019 at 16:15 | answer | added | Gabe Conant | timeline score: 6 | |
| Jul 7, 2019 at 14:15 | history | edited | YCor |
edited tags
|
|
| Jul 7, 2019 at 14:14 | history | asked | user221330 | CC BY-SA 4.0 |