Abraham, U., Aronszajn trees on ℕ2 and ℕ3, Annals of Pure and Applied Logic, vol. 24 (1983), pp. 213–230.
Cummings, J. and Foreman, M., The tree property, Advances in Mathematics, vol. 133 (1998), pp. 1–32.
Fontanella, L., Strong tree properties for two successive cardinals, Archive for Mathematical Logic, vol. 51 (2012), no. 5–6, pp. 601–620.
Jech, T., Some combinatorial problems concerning uncountable cardinals, Annals of Mathematical Logic, vol. 5 (1973), pp. 165–198.
Kanamori, A., The higher infinite. Large cardinals in set theory from their beginnings, Perspectives in Mathematical Logic, Springer, 1994.
Kunen, K., Set theory. An introduction to independence proofs, North-Holland, 1980.
Laver, R., Making the supercompactness of κ indestructible under κ-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), pp. 385–388.
Magidor, M., Combinatorial characterization of supercompact cardinals, Proceedings of the American Mathematical Society, vol. 42 (1974), pp. 279–285.
Mitchell, W. J., Aronszajn trees and the independence of the transfer property, Annals of Mathematical Logic, vol. 5 (1972), pp. 21–46.
Mitchell, W. J., On the Hamkins approximation property, Annals of Pure and Applied Logic, vol. 144 (2006), no. 1–3, pp. 126–129.
Unger, S., The ineffable tree property, in preparation.
Viale, M., Guessing models and generalized Laver diamond, Annals of Pure and Applied Logic, vol. 163 (2012), no. 11, pp. 1660–1678.
Viale, M. and Weiss, C., On the consistency strength of the proper forcing axiom, Advances in Mathematics, vol. 228 (2011), no. 5, pp. 2672–2687.
Weiss, C., Subtle and ineffable tree properties, Ph.D. thesis, Ludwig-Maximilians-Universität München, 2010.