Timeline for Precise interpretability strength of $\mathcal P_{DF}(\omega)$ and $L_{\omega_1^{CK}}$

9 events

when toggle format	what		by	license	comment
Sep 3, 2015 at 12:15	answer	added	Dávid Natingga		timeline score: 3
Aug 27, 2015 at 8:32	answer	added	Noah Schweber		timeline score: 7
Aug 27, 2015 at 7:39	comment	added	Joel David Hamkins		In your question, are you using "interpretability power" in a technical sense? If not, what do you mean? Since ${\cal P}_{DF}(\omega)$ consists of exactly the arithemtically definable sets, whereas $L_{\omega_1^{CK}}$ has all hyperarithmetic sets, doesn't this reflect a fundamental difference in strength? After all, ${\cal P}_{DF}(\omega)$ is essentially $L_{\omega+1}$, and clearly the rest of the constructibility hierarchy between $\omega+1$ and $\omega_1^{CK}$ is nontrivial and important.
S Aug 26, 2015 at 18:54	history	suggested	cmn1	CC BY-SA 3.0	fixed definition, made consistent terminology for clarity
Aug 26, 2015 at 17:46	review	Suggested edits
S Aug 26, 2015 at 18:54
S Aug 25, 2015 at 23:35	history	suggested	CommunityBot	CC BY-SA 3.0	corrected formatting in the post
Aug 25, 2015 at 22:51	review	Suggested edits
S Aug 25, 2015 at 23:35
Aug 25, 2015 at 19:29	review	First posts
Aug 25, 2015 at 19:30
Aug 25, 2015 at 19:29	history	asked	tww	CC BY-SA 3.0