Forcing for Second-Order Logic. - Fritz, Peter; Roberts, Sam (Journal of Philosophical Logic, 2026)