Robert Lawson Vaught was an American mathematical logician and one of the founders of model theory, born on April 4, 1926. A musical prodigy in his youth, playing the piano, he began his university studies at Pomona College at age 16, graduated in 1945 with an AB in physics, and completed in 1954 a Berkeley thesis on mathematical logic under Alfred Tarski, titled Topics in the Theory of Arithmetical Classes and Boolean Algebras. He spent four years at the University of Washington, returned to Berkeley in 1958 and remained there until his 1991 retirement. In 1957 he and Tarski introduced elementary submodels and the Tarski-Vaught test, and in 1962 he and Michael D. Morley pioneered the concept of a saturated structure. He died on April 2, 2002.
Facts
Connections
Conjectures Posed
Source Vaught Conjecture (Wikipedia)
In Branch
Source Wikipedia: Robert Lawson Vaught
Proofs Credited
Source Vaught's conjecture (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikipedia: Robert Lawson Vaught
LeadQuote, Lead
Vaught was a musical prodigy in his youth, in his case playing the piano.
Vaught's conjecture (Wikipedia)
Proofs Credited: Vaught's Theorem, Lead sentence, attributionQuote, Proofs Credited: Vaught's Theorem, Lead sentence, attribution
originally proposed by Robert Lawson Vaught in 1961
Vaught Conjecture (Wikipedia)
Conjectures Posed: Vaught Conjecture, Lead paragraphQuote, Conjectures Posed: Vaught Conjecture, Lead paragraph
The Vaught conjecture is a conjecture in the mathematical field of model theory originally proposed by Robert Lawson Vaught in 1961.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.