document.write("« Provability Logics of Hierarchies. (arXiv:1704.07678v1 [math.LO])");document.write(" | ");document.write("Quantizations of conical symplectic resolutions I: local and global structure. (arXiv:1208.3863v5 [math.RT] UPDATED) »");