Timeline for General Tarski-Seidenberg Theorem
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Apr 23, 2020 at 22:17 | comment | added | Denis Nardin | @KhashF Yes, they are called real closed spaces and they have been developed by Niels Schwartz (they are not really locally modeled on $\operatorname{Sper}A$, rather on proconstructible subsets of it, but the idea is the same) | |
| Apr 23, 2020 at 21:33 | comment | added | KhashF | Thanks! Out of curiosity, is there a notion of a "real scheme", a ringed space which is locally isomorphic with $Sper A$? | |
| Apr 23, 2020 at 13:49 | vote | accept | KhashF | ||
| Apr 23, 2020 at 6:43 | history | answered | Denis Nardin | CC BY-SA 4.0 |