Timeline for Constructive algebraic geometry
Current License: CC BY-SA 4.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S May 15, 2022 at 11:58 | history | suggested | P-addict | CC BY-SA 4.0 |
I don't know if the comments are correct - the frame of opens in the Zariski locale should be exactly the frame of radical ideals, not its opposite (classically/in the topological case: order reversal takes place between radicals and closed sets, then again between closed and open sets).
|
| May 14, 2022 at 18:47 | review | Suggested edits | |||
| S May 15, 2022 at 11:58 | |||||
| Nov 15, 2017 at 22:34 | comment | added | Simon Henry | In the work of Alec Simpson mostly like homepages.inf.ed.ac.uk/als/Research/Sources/mrs.pdf and some other work of him. Although I believe there are several (non equivalent) variations on this idea (the most obvious being to consider fully additive measure instead of $\sigma$-additive which is more natural in locale theory), some of them being treated elsewhere. I'll add more precision If I can remember... | |
| Nov 15, 2017 at 22:06 | comment | added | ಠ_ಠ | @SimonHenry By the way, do you happen to know where I could find the interpretation of "random real numbers" using locales? It sounds very interesting. | |
| Nov 15, 2017 at 21:22 | history | edited | Simon Henry | CC BY-SA 3.0 |
deleted 4 characters in body
|
| Nov 15, 2017 at 21:10 | comment | added | Simon Henry | @ಠ_ಠ You're welcome. I just corrected a lots of details and added some precision and new examples. | |
| Nov 15, 2017 at 21:09 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 3135 characters in body
|
| Nov 15, 2017 at 21:00 | comment | added | ಠ_ಠ | Thanks for taking the time to write up such a detailed answer! | |
| Nov 15, 2017 at 20:19 | comment | added | Simon Henry | you're right,I'll edit that. | |
| Nov 15, 2017 at 20:01 | vote | accept | ಠ_ಠ | ||
| Nov 15, 2017 at 19:37 | comment | added | Denis Nardin | Small correction: the frame of opens of the Zariski spectrum is the (opposite of the) poset of radical ideals, not all ideals | |
| Nov 15, 2017 at 16:02 | comment | added | Andrej Bauer | Excellent answer, and I do recommend Ingo's work. | |
| Nov 15, 2017 at 14:29 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 60 characters in body
|
| Nov 15, 2017 at 11:19 | history | edited | Simon Henry | CC BY-SA 3.0 |
deleted 16 characters in body
|
| Nov 15, 2017 at 11:13 | history | answered | Simon Henry | CC BY-SA 3.0 |