Timeline for Can we always know if an algebraic rule over the reals is preserved over the extended reals or not?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 3, 2022 at 17:13 | comment | added | Zuhair Al-Johar | Let's NOT assume Schanuel's conjecture and suppose that $\overline{F}=(+,\times,\mathit{exp})$ is undecidable. Then if $\psi$ is written in that signature, and it was proved to hold in $\mathbb R$, then can we decide if $\psi$ holds in $\hat {\mathbb R}$ or not? | |
| Dec 3, 2022 at 16:04 | vote | accept | Zuhair Al-Johar | ||
| Dec 3, 2022 at 9:36 | history | answered | Noah Schweber | CC BY-SA 4.0 |