[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