[FOM] Lindenbaum theorem
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:
More information about the FOM