document.write("«&nbsp;<a href='/news/view?id=105943'>PlayStation CEO: PS4 entering final phase of life cycle</a>");document.write(" | ");document.write("<a href='/news/view?id=105945'>Possible Worlds, Incompleteness and Undefinability. (arXiv:1805.08209v1 [math.LO])</a>&nbsp;»");