Yong Cheng. Forcing a set model of Z3 + Harrington's Principle. Math. Log. Q., 61(4-5):274-287, 2015. [doi]
@article{Cheng15-20,
title = {Forcing a set model of Z3 + Harrington's Principle},
author = {Yong Cheng},
year = {2015},
doi = {10.1002/malq.201300072},
url = {http://dx.doi.org/10.1002/malq.201300072},
researchr = {https://researchr.org/publication/Cheng15-20},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {61},
number = {4-5},
pages = {274-287},
}