Timeline for Did Gödel possess a proof of the independence of $\mathsf{AC}$?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1 at 12:03 | comment | added | Carlo Beenakker | yes, the source I cite refers indeed to the Boolean valued models. | |
| May 1 at 10:56 | comment | added | bof | @PeterLeFanuLumsdaine Uninformed guess: could it be Boolean valued models? | |
| May 1 at 10:48 | comment | added | Peter LeFanu Lumsdaine | Do you know what “that [method] recently developed by Dana Scott” refers to here? | |
| May 1 at 10:27 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 12 characters in body
|
| May 1 at 10:21 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 5 characters in body
|
| May 1 at 10:16 | history | answered | Carlo Beenakker | CC BY-SA 4.0 |