# Mathematician:Robert Lawson Vaught

Jump to navigation
Jump to search

## 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*