[FOM] Lindenbaum theorem
Arnold Neumaier
Arnold.Neumaier at univie.ac.at
Mon Feb 16 12:47:48 EST 2009
The Encyclopaedia of Mathematics
http://eom.springer.de/r/r080280.htm
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:
http://en.wikipedia.org/wiki/Adolf_Lindenbaum
Arnold Neumaier
More information about the FOM
mailing list