Timeline for Can nonstandard analysis be used to prove results in constructive or computable analysis?
Current License: CC BY-SA 3.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Jun 20, 2017 at 13:29 | comment | added | Mikhail Katz | @JasonRute, Sam placed some related articles on the arxiv this year; see arxiv.org/find/math/1/au:+Sanders_S/0/1/0/all/0/1 | |
| Apr 29, 2013 at 9:58 | vote | accept | Jason Rute | ||
| Apr 28, 2013 at 10:51 | answer | added | Sam Sanders | timeline score: 13 | |
| Apr 27, 2013 at 1:07 | comment | added | Jason Rute | To clarify my last comment (and really this whole thread), I am not trying to be too lazy. I don't expect anyone to read up on the literature just so they can answer this question. I just want to know if it was thought about already. If not, it is possibly something I should look into in the future. [End of self-conscious backtracking.] | |
| Apr 27, 2013 at 0:59 | comment | added | Jason Rute | alexod, thanks for the reference. I just looked it up and apparently there is a larger body of research in nonstandard reverse math than I was aware. While I'm more interested in the computable analysis side of this topic, I imagine these results could be mined to get to the effective information. So this is very close. Can anyone tell me what is going on effectively in these results? | |
| Apr 26, 2013 at 20:11 | comment | added | alexod | I do not know whether this is what you are looking for but Keita Yokoama used non-standard analysis to analyze the strength of the Riemann mapping theorem in terms of reverse mathematics, see math.tohoku.ac.jp/~y-keita/papers/nonst-r-mapping.pdf | |
| Apr 26, 2013 at 15:03 | comment | added | Jason Rute | Andrej, (and Sam channeled through Andrej) thanks! However, as I said I am not aware of Sam's theory being used in the way I specified. Of course Sam is the expert on his own work, and I wouldn't mind being proved wrong. | |
| Apr 26, 2013 at 14:58 | comment | added | Jason Rute | Tanmay, I was there. But thank you for the reference. I forgot it was recorded. | |
| Apr 26, 2013 at 11:12 | comment | added | Andrej Bauer | Sam says he is going to give an answer in "due time", whatever that means. | |
| Apr 26, 2013 at 10:32 | comment | added | user3462 | Sam Sanders had given a talk at the Newton Institute on related matters, perhaps it is useful: newton.ac.uk/programmes/SAS/seminars/2012012616301.html | |
| Apr 26, 2013 at 9:41 | history | edited | Jason Rute | CC BY-SA 3.0 |
Typo
|
| Apr 26, 2013 at 8:31 | history | edited | Jason Rute | CC BY-SA 3.0 |
Typo
|
| Apr 26, 2013 at 8:29 | comment | added | Andrej Bauer | It think Sam Sanders is the expert on this question, I'll alert him to its existence. | |
| Apr 26, 2013 at 5:30 | history | edited | Jason Rute | CC BY-SA 3.0 |
Changed title
|
| Apr 26, 2013 at 2:36 | history | asked | Jason Rute | CC BY-SA 3.0 |