document.write("«&nbsp;<a href='/news/view?id=134219'>$\Pi^1_1$-Comprehension as a Well-Ordering Principle. (arXiv:1809.06759v1 [math.LO])</a>");document.write(" | ");document.write("<a href='/news/view?id=134221'>'It's Always DRM's Fault'</a>&nbsp;»");