Timeline for Failure of Shoenfield's Absoluteness
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 27, 2013 at 13:42 | vote | accept | Ohad Drucker | ||
| Nov 27, 2013 at 13:37 | history | edited | Ohad Drucker | CC BY-SA 3.0 |
Clarify meaning of the question
|
| Nov 27, 2013 at 12:56 | comment | added | Carl Mummert | Which hypothesis did you want to fail? That $M \subseteq N$? That $\omega_1^M \subseteq N$? That the formula is $\Sigma^1_2$? | |
| Nov 26, 2013 at 20:34 | comment | added | François G. Dorais | Very closely related - mathoverflow.net/questions/71965/… | |
| S Nov 26, 2013 at 19:11 | history | suggested | Ed Dean |
added [lo.logic]
|
|
| Nov 26, 2013 at 19:07 | review | Suggested edits | |||
| S Nov 26, 2013 at 19:11 | |||||
| Nov 26, 2013 at 19:01 | answer | added | Andrés E. Caicedo | timeline score: 10 | |
| Nov 26, 2013 at 18:50 | history | edited | Andrés E. Caicedo | CC BY-SA 3.0 |
deleted 2 characters in body
|
| Nov 26, 2013 at 18:17 | comment | added | Asaf Karagila♦ | Finally. Now all the set theory Ph.D. students are using MathOverflow. :-) | |
| Nov 26, 2013 at 18:11 | comment | added | Andrés E. Caicedo | Consider the statement "there is a transitive model of set theory". This statement is $\Sigma^1_2$: There is a real that codes a model of set theory that is well-founded (that is, no sequence through its ordinals is strictly decreasing). If there is such a model, this is true in $V$ that fails in the smallest such model (which is countable). | |
| Nov 26, 2013 at 18:09 | comment | added | Andrés E. Caicedo | $\Sigma^1_2$, not $\Sigma^2_1$. | |
| Nov 26, 2013 at 17:54 | review | First posts | |||
| Nov 26, 2013 at 18:06 | |||||
| Nov 26, 2013 at 17:35 | history | asked | Ohad Drucker | CC BY-SA 3.0 |