The Lindenbaum construction and decidability