Timeline for The status of 'the consistency of NF relative to ZF'
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1 at 14:20 | answer | added | Randall Holmes | timeline score: 23 | |
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jan 30, 2017 at 19:41 | comment | added | Timothy Chow | The draft currently on Holmes's home page states that his paper has been submitted for publication as of January 2017. math.boisestate.edu/~holmes | |
| Jul 29, 2015 at 0:09 | answer | added | Thomas Klimpel | timeline score: 5 | |
| Jul 28, 2015 at 20:22 | answer | added | Noah Schweber | timeline score: 10 | |
| May 31, 2013 at 6:40 | comment | added | Zach N | Here's the link to Randall's FOM announcement, in case you're interested: cs.nyu.edu/pipermail/fom/2012-November/016758.html. | |
| May 29, 2013 at 15:30 | comment | added | Garabed Gulbenkian | Thanks alot for the updates. I hope for the best possible outcome. If it should occur, perhaps people will start looking deeply into NF, just as they have done with ZF. | |
| May 28, 2013 at 15:38 | history | edited | user9072 | CC BY-SA 3.0 |
title
|
| May 28, 2013 at 15:02 | comment | added | Andrés E. Caicedo | plus.google.com/103404025783539237119/posts/c6QbY9MpNJK Randall has a manuscript, that is still only being privately circulated while it is polished. If you email him directly, most likely he will email you a copy. | |
| May 28, 2013 at 14:39 | comment | added | j.c. | Here's a relevant post from the same blog that Joel David Hamkins cited as his source in his answer to your previous question: logicmatters.net/2013/04/… | |
| May 28, 2013 at 14:36 | history | edited | j.c. | CC BY-SA 3.0 |
link
|
| May 28, 2013 at 14:26 | comment | added | Ryan Budney | Have you tried contacting Randall Holmes? | |
| May 28, 2013 at 14:23 | history | asked | Garabed Gulbenkian | CC BY-SA 3.0 |