Wanda Szmielew

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

Wanda Szmielew (born Wanda Montlak, 5 April 1918 – 27 August 1976) was a Polish mathematical logician who first showed that the first‑order theory of abelian groups is decidable. She grew up in Warsaw and studied logic at the University of Warsaw, learning from renowned teachers such as Adolf Lindenbaum, Jan Łukasiewicz, Kazimierz Kuratowski, and Alfred Tarski. Her early work included the axiom of the choice.

World War II interrupted her studies, and she worked as a surveyor while continuing her research on her own, including developing a decision procedure for abelian groups using quantifier elimination. After the war, she taught at the University of Łódź and, in 1947, published a paper on the axiom of choice. She earned a master’s degree from the University of Warsaw and then moved to Warsaw as a senior assistant.

From 1949 to 1950 Szmielew visited the University of California, Berkeley, where Alfred Tarski supported her PhD. She completed her doctorate in 1950, focusing on abelian groups. For the 1955 publication of these results, Tarski asked her to reframe the work in terms of arithmetical functions, a change later described as hard to read. Eklof and Fischer later re-proved the results in 1972 using more standard model-theoretic methods.

Returning to Warsaw as an assistant professor, Szmielew shifted her attention to the foundations of geometry. With Karol Borsuk, she co-authored a text on this subject (1955; English translation 1960). She published another monograph posthumously (1981; English translation 1983). Wanda Szmielew died of cancer in Warsaw in 1976.