Timeline for Real spectrum of ring of continuous semialgebraic functions
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 11, 2010 at 8:45 | vote | accept | J Williams | ||
| Dec 19, 2009 at 14:08 | comment | added | Michel Coste | I am not quite sure of what you call Harrison topology. The topology on $\widetilde U$ has for basis the $\widetilde V$ for $V$ semialgebraic open in $U$. The topology on the real spectrum of $S^0(U)$ has for (sub)basis the $\{\alpha\mid f(\alpha)>0\}$. These are different from the constructible topology. | |
| Dec 19, 2009 at 10:20 | comment | added | Jose Capco | But does this consider the constructible topology? How is the constructible topology different from the Harrison topology when we consider the real spectrum of S^0(U)? | |
| Dec 19, 2009 at 9:44 | history | answered | Michel Coste | CC BY-SA 2.5 |