Timeline for Non-Forcing and Independence
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 3, 2019 at 13:11 | history | edited | Joel David Hamkins |
edited tags
|
|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Mar 5, 2015 at 9:56 | comment | added | Zoorado | What Wojowu said is an immediate result of Shoenfield Absoluteness Theorem. | |
| Mar 1, 2015 at 6:08 | answer | added | Mohammad Golshani | timeline score: 8 | |
| Mar 1, 2015 at 5:57 | comment | added | Mohammad Golshani | A related question: Consistency results using nonstandard models | |
| Feb 28, 2015 at 22:48 | vote | accept | Kyle Gannon | ||
| Feb 28, 2015 at 21:44 | answer | added | Joel David Hamkins | timeline score: 13 | |
| Feb 28, 2015 at 21:12 | comment | added | Wojowu | No, sorry - I know this just as a "well-known result", but I don't know a reference. | |
| Feb 28, 2015 at 21:12 | comment | added | Kyle Gannon | @Wojowu: Do you know where I could find something on this? | |
| Feb 28, 2015 at 21:08 | comment | added | Wojowu | Arithmetical statements can be a way to go - iirc, forcing cannot change truth of any arithmetic statement. | |
| Feb 28, 2015 at 20:59 | history | asked | Kyle Gannon | CC BY-SA 3.0 |