To appear in J. Symbolic Logic . A topological completeness theorem. To appear in Arch. To appear in Compositio Math. June 1997, submitted.
Notes First order categorical logic.
So have a look at the notes, but don't print them, rather wait for the final version. Duality beween finite distributive lattices and finite posets. April 1998, 4pp. Regular categories and regular logic. May 1998, 24pp.