Daniel J. Velleman, Morasses, diamond, and forcing, Annals of mathematical logic, vol. 23 (1982), pp. 199–281. - Dan Velleman. On a generalization of Jensen's □κ, and strategic closure of partial orders, The journal of symbolic logic, vol. 48, no. 4 (for 1983, pub. 1984), pp. 1046–1052.
Lee Stanley · Journal of Symbolic Logic · 1989
Daniel J. Velleman, Morasses, diamond, and forcing, Annals of mathematical logic, vol. 23 (1982), pp. 199–281. - Dan Velleman. On a generalization of Jensen's □κ, and strategic closure of partial orders, The journal of symbolic logic, vol. 48, no. 4 (for 1983, pub. 1984), pp. 1046–1052. - Volume 54 Issue 2