Timeline for Is there a formal notion of what we do when we 'Let X be ...'?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Apr 6, 2010 at 6:37 | vote | accept | Zavosh | ||
| Apr 6, 2010 at 6:36 | comment | added | Zavosh | Thanks very much. Although the paper only gives some examples of change in complexity, they do establish DZFC as a possible tool for studying this. | |
| Apr 5, 2010 at 21:13 | comment | added | Zavosh | This looks very promising, and close to what I was asking about. I have to read it more carefully to understand whether it answers my question. | |
| Apr 5, 2010 at 19:14 | history | answered | Charles Stewart | CC BY-SA 2.5 |