Timeline for When can we reach a real by forcing?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 26, 2014 at 23:46 | vote | accept | Noah Schweber | ||
| Dec 1, 2014 at 17:01 | comment | added | Joel David Hamkins | The manuscript of Fuchs and Schindler on solidity is here: math.uni-muenster.de/logik/Personen/rds/… | |
| Nov 30, 2014 at 13:07 | comment | added | Joel David Hamkins | Oh, there are many interesting inner models, especially when one starts looking at large cardinals. But the terminology here is that it is the things like $0^\sharp$ that are solid, not the inner model $L$. A set $z$ is solid when it cannot be added by forcing over any inner model. Thus, the solid core is in a sense generated by these solid objects. | |
| Nov 30, 2014 at 5:03 | comment | added | Asaf Karagila♦ | Solidity sounds intriguing, are there natural examples for solid models except $L$? | |
| Nov 30, 2014 at 3:26 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 106 characters in body
|
| Nov 30, 2014 at 3:20 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 106 characters in body
|
| Nov 30, 2014 at 3:15 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |