Robert Lawson Vaught
Robert Lawson Vaught | |
|---|---|
| (de facto) |
Robert Lawson Vaught (April 4, 1926 – April 2, 2002) was a mathematical logician and one of the founders of model theory.[1]
Life
Vaught was a musical prodigy in his youth, in his case playing the piano. He began his university studies at
In 1946, he began a Ph.D. in mathematics at Berkeley. He initially worked under the supervision of the topologist
In 1957, Vaught married Marilyn Maca; they had two children.
Work
Vaught's work is primarily focused on
He considered his best work was his paper "Invariant sets in topology and logic"[citation needed], introducing the Vaught transform. He is known for the Tarski–Vaught test for elementary substructures, the Feferman–Vaught theorem, the Łoś–Vaught test for completeness and decidability, the Vaught two-cardinal theorem, and his conjecture on the nonfinite axiomatizability of totally categorical theories (this work eventually led to geometric stability theory).
See also
Notes
- ^ In Memoriam: Robert Lawson Vaught, U. C. Berkeley Archived 2014-07-14 at the Wayback Machine
References
- Feferman, Anita Burdman, and Solomon Feferman, 2004. Alfred Tarski: Life and Logic. Cambridge Univ. Press. 24 index entries for Vaught, especially pp. 185–88.
External links
- Robert Lawson Vaught at the Mathematics Genealogy Project
- Addison, J. W. (Fall 2002). "In Memoriam: Robert Lawson Vaught" (PDF). Berkeley Mathematics Newsletter. p. 13.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
