Timeline for Natural statements independent from true $\Pi^0_2$ sentences
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 8, 2019 at 19:33 | comment | added | Timothy Chow | @AndrejBauer : There's a fair amount of information on Friedman's website u.osu.edu/friedman.8 See for example the "downloadable manuscripts" and "Boolean relation theory book" links on the sidebar. | |
| Sep 8, 2019 at 7:44 | comment | added | Andrej Bauer | While we're holding our collective breath for the book to be published, is there some way fo finding out what the proofs are, short of travelling to Ohio? I've always wanted to know. | |
| Nov 22, 2011 at 0:44 | comment | added | Kaveh | Thanks a lot for the example. I was guessing that Harvey may have an example. I guess that it is unlikely that I would get an answer which is more natural than this so I accept it. | |
| Nov 22, 2011 at 0:43 | vote | accept | Kaveh | ||
| Nov 21, 2011 at 23:46 | history | answered | Timothy Chow | CC BY-SA 3.0 |