On the structure of Lindenbaum algebras: an approach using algebraic logic
Charles C. Pinter · Proceedings of the American Mathematical Society · 1976
The following problem of algebraic logic is investigated: to determine those Boolean algebras which admit the structure of a nondiscrete cylindric algebra. A partial solution is found, and is then used to give an algebraic characterization of the Lindenbaum algebras of formulas of several broad classes of countable theories.