document.write("«&nbsp;<a href='/news/view?id=66658'>When does every definable nonempty set have a definable element?. (arXiv:1706.07285v1 [math.LO])</a>");document.write(" | ");document.write("<a href='/news/view?id=66660'>digiKam 5.6.0 is released</a>&nbsp;»");