A complete, infinitary axiomatization of weak second-order logic | Publicación