Timeline for A limit to Shoenfield Absoluteness
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 10, 2021 at 21:24 | comment | added | Ibrahim | Is it hard to see why $T_r$ has a countable wellfounded model iff $r$ is constructible? Sorry, I'm just a beginner. | |
Aug 3, 2011 at 7:23 | history | answered | François G. Dorais | CC BY-SA 3.0 |