Timeline for Namba forcing and semiproperness
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 9, 2023 at 17:30 | comment | added | Philip Welch | The Sharpe-Welch paper was incorrect in attributing a proof of the remaining direction of this equiconsistency to Magidor. It is still open as far as I know. | |
| Apr 29, 2016 at 15:11 | vote | accept | Todd Eisworth | ||
| Apr 28, 2016 at 21:21 | history | edited | Sean Cox | CC BY-SA 3.0 |
added 39 characters in body
|
| Apr 28, 2016 at 16:21 | history | edited | Sean Cox | CC BY-SA 3.0 |
added 1 character in body
|
| Apr 28, 2016 at 15:35 | history | answered | Sean Cox | CC BY-SA 3.0 |