Sorry for this question out of the blue (especially if its answer should be trivial, obvious, or folklore): > (When) can we construct models of a consistent > first order theory $T$ from its > [Lindenbaum algebra][1]? More specifically: Is there an algebraic theory which its Lindenbaum algebra is a model of? [1]: http://en.wikipedia.org/wiki/Lindenbaum%25E2%2580%2593Tarski_algebra