[FOM] Lindenbaum theorem

[praatika@mappi.helsinki.fi]

The result is credited to Lindenbaum by Tarski, in "On fundamental  
concepts of metamathematics" (1930), (Theorem 12 and footnote), p. 34   
in the English translation in Logic, Semantics, Metamathematics.  
Apparently it was never published by Lindenbaum himself.

Best, Panu


Panu Raatikainen

Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy

Department of Philosophy
University of Helsinki
Finland


E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/