ワンダ・シュミレフ

ワンダ・シュミレフ（ 旧姓 モンラック、1918年4月5日 - 1976年8月27日）^{[1]はポーランドの}数理論理学者であり、アーベル群の第一階理論の決定可能性を初めて証明した。^[1]

ワンダ・モンラックは1918年4月5日にワルシャワで生まれた。1935年に高校を卒業し、結婚してシュミレフという名前を名乗った。同年ワルシャワ大学に入学し、アドルフ・リンデンバウム、ヤン・ルカシェヴィチ、カジミエシュ・クラトフスキ、アルフレッド・タルスキの下で論理学を学んだ。この頃の研究には選択公理の研究も含まれていたが、1939年のポーランド侵攻により中断された。^[1]

シュミレフは第二次世界大戦中に測量士となり、その間も独自に研究を続け、アーベル群の理論のための量限定子消去に基づく決定手順を開発した。また、ポーランドの地下組織で教鞭を執った。ポーランド解放後、シュミレフは1945年5月に設立されたウッチ大学に職を得た。1947年、選択公理に関する論文を発表し、ワルシャワ大学で修士号を取得し、上級助手としてワルシャワに移った。^{[1] [2]}

1949年と1950年にシュミエルフはカリフォルニア大学バークレー校を訪れた。タルスキは戦争でポーランドから追放された後、同校に永住の職を見つけていた。彼女は夫をポーランドに残し、タルスキとその妻の家にタルスキの愛人として住み、^[3] 1950年にバークレーでタルスキの指導の下で博士号を取得し、その学位論文はアーベル群に関する研究であった。^{[1] [2] [4]}これらの結果を1955年のジャーナルに掲載するために、タルスキはシュミエルフに彼女の研究を算術関数の理論の観点から言い換えるよう説得したが、この決定により、この研究はソロモン・フェファーマンによって「読みにくい」と評された。^{[5]その後のエクロフとフィッシャーによる研究 (1972) では、より標準的な}モデル理論的手法を使用してシュミエルフの結果が再証明された。^{[5] [6]}

助教授としてワルシャワに戻った後、彼女の興味は幾何学の基礎へと移り、カロル・ボルスクとともに1955年にこのテーマに関するテキスト（1960年に英訳）を出版し、さらに死後1981年と1983年に（英訳で）別のモノグラフを出版した。^{[1] [2]}

彼女は1976年8月27日にワルシャワで癌のため亡くなった。^[1]

• Szmielew, Wanda (1947)、「有限集合からの選択について」、Fundamenta Mathematicae、34 (1): 75–80、doi : 10.4064/fm-34-1-75-80、ISSN  0016-2736、MR  0022539。
• Szmielew, Wanda (1955)、「アーベル群の基本的性質」、Fundamenta Mathematicae、41 (2): 203–271、doi : 10.4064/fm-41-2-203-271、ISSN  0016-2736、MR  0072131。
• カロル ボルスク;シュミエレウ、ワンダ (1955 年)、ポドスタウィ幾何学、ワルシャワ: Państwowe Wydawnictwo Naukowe、MR  0071791. 翻訳：Borsuk, Karol; Szmielew, Wanda (1960)、『幾何学の基礎：ユークリッド幾何学とボヤイ・ロバチェフスキー幾何学、射影幾何学』、改訂英語訳、ニューヨーク：Interscience Publishers, Inc.、MR  0143072。
• Szmielev、Wanda (1981)、Od geometrii afinicznej do euklidessowej、Biblioteka Matematyczna [数学ライブラリ]、vol. 55、ワルシャワ: パンストウェウェ・ヴィダウニクトゥ・ナウコウェ (PWN)、p. 172、ISBN 83-01-01374-5、MR  0664205翻訳：Szmielew, Wanda (1983)、From affine to Euclidean geometry、ワルシャワ：PWN—Polish Scientific Publishers、ISBN 90-277-1243-3、MR  0720548。
• シュヴァブホイザー、W.シュミエレウ、W. Tarski, A. (1983)、幾何学のメタ数学メソッド、Hochschultext [大学教科書]、ベルリン: Springer-Verlag、doi :10.1007/978-3-642-69418-9、ISBN 3-540-12958-8、MR  0731370。