1. Hodges, W., Model theory, Cambridge University Press, Cambridge, 1993. Zbl 0789.03031 MR 94e:03002
2. Pillay, A., and C. Steinhorn, “Definable sets in ordered structures I,” Transactions of the American Mathematical Society, vol. 295 (1986), pp. 565–92. Zbl 0662.03023 MR 88b:03050a
3. Birkhoff, G., Lattice Theory, American Mathematical Society Colloquium Publications, vol. 25, Providence, 1973. Zbl 0505.06001 MR 82a:06001
4. Halmos, P., Lectures on Boolean Algebras, Van Nostrand, Princeton, 1963. Zbl 0114.01603 MR 29:4713
5. Knight, J., A. Pillay, and C. Steinhorn, “Definable sets in ordered structures II,” Transactions of the American Mathematical Society, vol. 295 (1986), pp. 593–605. Zbl 0662.03024 MR 88b:03050b