Loading article…
ロバート・ローソン・ヴォート（1926年4月4日 - 2002年4月2日）はアメリカの数学論理学者であり、モデル理論の創始者の一人である。[ 1 ]
ヴォートは幼い頃から音楽の天才で、特にピアノ演奏に才能を発揮した。16歳でポモナ大学に入学。第二次世界大戦が勃発すると、アメリカ海軍に入隊し、カリフォルニア大学のV-12プログラムに配属された。1945年に物理学の学士号を取得して卒業した。
1946年、彼はバークレーで数学の博士課程を開始した。当初は位相幾何学者のジョン・L・ケリーの指導の下、C*代数について研究していた。1950年、マッカーシズムの圧力に応え、バークレーは全職員に忠誠宣誓書への署名を義務付けた。ケリーはこれを拒否し、3年間チューレーン大学で研究を行った。その後、ヴォートはアルフレッド・タルスキーの指導の下、研究を再開し、1954年に「算術クラスとブール代数の理論におけるトピック」と題する数理論理学の論文を完成させた。ワシントン大学で4年間過ごした後、ヴォートは1958年にバークレーに戻り、1991年に退職するまで同大学に在籍した。
1957年、ヴォートはマリリン・マカと結婚し、二人の間には二人の子供が生まれた。
ヴォートの研究は主にモデル理論に焦点を当てている。1957年、彼はタルスキとともに基本部分モデルと、それらを特徴付けるタルスキ・ヴォート・テストを導入した。1962年、彼はマイケル・D・モーリーとともに飽和構造の概念を提唱した。一階理論の可算モデルに関する彼の研究は、完全な一階理論（可算言語）の可算モデルの数は、常に有限であるか、可算無限であるか、実数と同数であるかのいずれかであるというヴォート予想へと彼を導いた。ヴォートの「決して2ではない」定理は、完全な一階理論は、同型でない可算モデルをちょうど2つ持つことはできないと述べている。
彼は、ヴォート変換を導入した論文「位相と論理における不変集合」を自身の最高傑作と考えていた。彼は、基本部分構造に関するタルスキ・ヴォート判定法、フェファーマン・ヴォート定理、完全性と決定可能性に関するウォシュ・ヴォート判定法、ヴォート二基数定理、そして完全圏論の非有限公理化可能性に関する予想（この研究は最終的に幾何学的安定性理論につながった）で知られている。