[FOM] Lindenbaum theorem

Arnold Neumaier Arnold.Neumaier at univie.ac.at
Mon Feb 16 12:47:48 EST 2009

The Encyclopaedia of Mathematics
says that ''By Lindenbaum's theorem, every consistent (first-order)
theory has a complete extension.''

But nobody seems to refer to Lindenbaums work on this - at least,
I tried in vain to pin down the paper where Lindenbaum proves this 
theorem. Perhaps such a paper does not even exist?

Thus I'd like to know the history of the theorem and why the name
Lindenbaum is associated with it. Wikipedia is too short on this:

Arnold Neumaier

More information about the FOM mailing list