Skip to main content

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