Timeline for Localic maps given by series
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 28, 2023 at 9:43 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
spelling
|
| Jul 16, 2022 at 11:45 | comment | added | Simon Henry | An alternative to my answer that works to define any classical functions is to use uniform continuity and density of the rationals in the locale $\mathbb{R}$. If you have a function $f$ defined on Dedekind real numbers (or just rational number) with value in $\mathbb{R}$ (or more generally in any complete metric locale) which is locally uniformly continuous, then it admit a unique continuous extension to the locale $\mathbb{R}$. The constructive theory of complete metric locale is developed there sciencedirect.com/science/article/pii/S0001870816001006 | |
| Jul 16, 2022 at 10:10 | vote | accept | Valery Isaev | ||
| Jul 16, 2022 at 8:08 | answer | added | Simon Henry | timeline score: 4 | |
| Jul 16, 2022 at 6:10 | review | Close votes | |||
| Jul 31, 2022 at 3:03 | |||||
| Jul 15, 2022 at 23:51 | history | asked | Valery Isaev | CC BY-SA 4.0 |