Mathematician:Robert Lawson Vaught

Mathematician

American mathematician who mainly worked in mathematical logic, and was one of the founders of model theory.

Nationality

American

History

• Born: 4 April 1926
• Died: 2 April 2002

Theorems and Definitions

• Tarski-Vaught Test (with Alfred Tarski)
• Łoś-Vaught Test (with Jerzy Maria Michał Łoś)
• Vaught Conjecture
• Vaught's Never 2 Theorem
• Vaught Transform
• Feferman-Vaught Theorem (with Solomon Feferman)

Results named for Robert Lawson Vaught can be found here.

Publications

• 1954:Topics in the Theory of Arithmetical Classes and Boolean Algebras
• 1959: The first order properties of products of algebraic systems (with Solomon Feferman)
• 1959: Denumerable models of complete theories
• Invariant sets in topology and logic (in which the Vaught Transform was introduced)
• Set Theory: An Introduction