Day, Alan, A simple solution to the word problem for lattices, Canadian Mathematical Bulletin, vol. 13 (1970), pp. 253–254.
Day, Alan, Characterizations of finite lattices that are bounded-homomorphic images of sublattices of free lattices, Canadian Journal of Mathematics, vol. 31 (1979), pp. 69–78.
Day, Alan, Nation, J.B., and Tschantz, Steve, Doubling convex sets in lattices and a generalized semidistributivity condition, Order, vol. 6 (1989), pp. 175–180.
Freese, Ralph, Ježek, Jaroslav, and Nation, J.B., Free lattices, Mathematical Surveys and Monographs, vol. 42, American Mathematical Society, Providence, RI, 1995.
Kossak, R. and Schmerl, J.H., The structure of models of Peano Arithmetic, Oxford Logic Guides, vol. 50, Oxford University Press, Oxford, 2006.
Mills, G., Substructure lattices of models of arithmetic, Annals of Mathematical Logic, vol. 16 (1979), pp. 145–180.
Nation, J.B., e-mail to the author, 06 8, 2009.
Paris, J.B., On models of arithmetic, Conference in Mathematical Logic — London '70 (Bedford College, London, 1970), Lecture Notes in Math., vol. 255, Springer, Berlin, 1972, pp. 251–280.
Pudlák, P. and Tůma, J., Yeast graphs and fermentation of algebraic lattices, Lattice Theory (Proc. Colloq., Szeged, 1974), Colloq. Math. Soc. Janos Bolyai, vol. 14, North-Holland, Amsterdam, 1976, pp. 301–341.
Pudlák, P., Every finite lattice can be embedded in afinite partition lattice, Algebra Universalis, vol. 10 (1980), pp. 74–95.
Rolf, H.L., The free lattice generated by a set of chains, Pacific Journal of Mathematics, vol. 8 (1958), pp. 585–595.
Schmerl, J.H., Finite substructure lattices of models of Peano arithmetic. Proceedings of the American Mathematical Society, vol. 117 (1993), pp. 833–838.
Semënova, M.V., On lattices that are embeddable into lattices of suborders (russian), Algebra i Logika, vol. 44 (2005), pp. 483–511, (English translation in: Algebra and Logic, vol. 44 (2005), pp. 270–285).
Sivak, B., Representations of finite lattices by orders on finite sets, Mathematica Slovaca, vol. 28 (1978), pp. 203–215.
Wilkie, A.J., On models of arithmetic having non-modular substructure lattices, Fundamenta Mathematicae, vol. 95 (1977), pp. 223–237.