Forcing a set model of Z3 + Harrington's Principle

Yong Cheng. Forcing a set model of Z3 + Harrington's Principle. Math. Log. Q., 61(4-5):274-287, 2015. [doi]

Abstract

Abstract is missing.