document.write("« Recovery of Structured Signals with Prior Information via Maximizing Correlation. (arXiv:1710.10062v1 [cs.IT])");document.write(" | ");document.write("Recursive functions and existentially closed structures. (arXiv:1710.09864v1 [math.LO]) »");