Robert Vaught
Robert Lawson Vaught (born April 4, 1926 in Alhambra , California , † April 2, 2002 in Berkeley ) was an American mathematical logician.
Live and act
Vaught studied physics during World War II in a US Navy program at the University of California, Berkeley , graduated in 1945, continued at Cornell University . After serving in the Navy, he studied mathematics in Berkeley from 1946. At first he wanted to do his doctorate on operator algebras with John L. Kelley , but when he was expelled from the university because he did not want to take the oath of loyalty in the McCarthy era, Vaught received his doctorate in mathematical logic with Alfred Tarski in 1954 (Topics in the theory of arithmetical classes and boolean algebras). After four years at the University of Washington , most recently as an assistant professor, he returned to Tarski's group in Berkeley in 1958, where he became a professor in 1963 and remained until his retirement in 1991.
Vaught has been one of the pioneers of model theory since working with Tarski . He established many important concepts here (such as saturated structures in 1962 with Michael D. Morley ) and is also known for a conjecture from 1961, the Vaught conjecture (that the number of countable models of complete first-order theories is either finite, countable infinite, or from the Cardinality of real numbers is). He proved in his Never 2 theorem that a complete first-order theory cannot have exactly two non-isomorphic countable models. Furthermore, Vaught's criterion , a completeness criterion for theories of first order predicate logic , is associated with his name.
In 1956/57 he was a Fulbright Scholar in Amsterdam and in 1967 as a Guggenheim Fellow in Zurich. In 1978 he received the Karp Prize for his work on the logic of infinitely long expressions using a topological construction he introduced (Vaught Transformation). In 1966 he was invited speaker at the International Congress of Mathematicians in Moscow ( Model theory and set theory ).
Jack Silver , James Baumgartner and Michael D. Morley are among his doctoral students (formally at Saunders MacLane , Vaught supervised the work).
Fonts
- Set Theory- an introduction, 2nd edition, Birkhäuser 1994, 2001
See also
Web links
Individual evidence
- ↑ Vaught Invariant sets in topology and logic , Fundamenta Mathematicae, Vol. 82, 1974, pp. 269-294
| personal data | |
|---|---|
| SURNAME | Vaught, Robert |
| ALTERNATIVE NAMES | Vaught, Robert Lawson (full name) |
| BRIEF DESCRIPTION | American mathematical logician |
| DATE OF BIRTH | April 4, 1926 |
| PLACE OF BIRTH | Alhambra , California |
| DATE OF DEATH | April 2, 2002 |
| Place of death | Berkeley |