[FOM] Lindenbaum theorem

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Tue Feb 17 09:04:16 EST 2009

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

E-mail: panu.raatikainen at helsinki.fi


More information about the FOM mailing list