A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper

Abstract

On 5 May 1957, Leopold Löwenheim passed away in a Berlin hospital following a short but severe illness, unnoticed by the community of mathematical logicians who believed that he had perished in a Nazi concentration camp in or shortly after 1940 (the year of publication in the Journal of Symbolic Logic of his last paper before the end of World War II). The 50th anniversary of his death seems an appropriate date for the posthumous publication of a paper that was supposed to appear in Fundamenta Mathematicae in 1939, the galley proofs of which Löwenheim had already seen and corrected when German troops invaded Poland on 1 September 1939. Löwenheim managed to save the proofs through the War, despite the loss of most of his possessions during the bombing of Berlin in 1943 and 1944. By another lucky chance, a copy of the proofs survived in the present author's possession, when the originals were lost during a flat clearing in Berlin as part of the estate of Johannes Teichert (1904–1994), Löwenheim's step-son, when his widow moved into a nursing-home in May 1999. Later, I will expand these short remarks slightly but seize the present opportunity to resume (and in some places add to) the extant data on Löwenheim's life and writings.