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 )
 * Łoś-Vaught Test (with )
 * Vaught Conjecture
 * Vaught's Never 2 Theorem
 * Vaught Transform
 * Feferman-Vaught Theorem (with )

Publications

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