Timeline for Does the boldface class $\Delta^1_2$ have the uniformization property? (assuming $V=L$)
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 18, 2013 at 16:45 | answer | added | Rachid Atmai | timeline score: 3 | |
| Aug 18, 2013 at 13:22 | history | edited | Noah Schweber | CC BY-SA 3.0 |
deleted 85 characters in body; edited title
|
| Aug 18, 2013 at 13:14 | vote | accept | Noah Schweber | ||
| Aug 17, 2013 at 22:43 | comment | added | Joel David Hamkins | Basically, the situation is that any property that can be verified inside any or all countable $L_\alpha$ with the parameters will be $\Delta^1_2$, since one can say either that is is true in one of them (giving the $\Sigma^1_2$ form) or in all of them (giving the $\Pi^1_2$ form). | |
| Aug 17, 2013 at 22:03 | answer | added | Joel David Hamkins | timeline score: 6 | |
| Aug 17, 2013 at 21:38 | comment | added | Joel David Hamkins | Regarding your proposed counterexample, why isn't the immediate successor function in your context $\Delta^1_2$? After all, $s$ is the immediate successor of $r$ if and only if every (so $\Pi^1_2$) countable well-founded model of V=L containing both of them thinks it is, if and only if there is (so $\Sigma^1_2$) a countable well-founded model of V=L containing both of them that thinks it is. | |
| Aug 17, 2013 at 21:24 | history | asked | Noah Schweber | CC BY-SA 3.0 |