Skip to main content

Lindenbaum algebras and models

Sorry for this question out of the blue (especially if its answer should be trivial, obvious, or folklore):

(When and how) can we construct models of a consistent first order theory $T$ from its Lindenbaum algebra?

More specifically: Is there an algebraic theory which its Lindenbaum algebra is a model of?

Hans-Peter Stricker
  • 9.7k
  • 5
  • 53
  • 113