Timeline for Shoenfield's Absoluteness Theorem
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 24 at 15:46 | comment | added | Andreas Blass | Either you meant "true" instead of (both occurrences of) "false" or you meant $\Sigma^1_3$ instead of $\Pi^1_3$. "All reals are constructible" is $\Pi^1_3$ and is false in some models but true in the constructible submodel. | |
S May 24 at 5:23 | history | suggested | CommunityBot | CC BY-SA 4.0 |
Absoluteness is now a disambiguation page
|
May 24 at 3:44 | review | Suggested edits | |||
S May 24 at 5:23 | |||||
May 9, 2010 at 6:50 | vote | accept | CommunityBot | ||
May 8, 2010 at 7:56 | answer | added | François G. Dorais | timeline score: 15 | |
May 8, 2010 at 5:55 | history | asked | user5810 | CC BY-SA 2.5 |