document.write("« Hopf solitons on compact manifolds. (arXiv:1802.00657v1 [math-ph])");document.write(" | ");document.write("Implicative algebras: a new foundation for realizability and forcing. (arXiv:1802.00528v1 [math.LO]) »");