Concepedia

Robert L. Vaught

RL

19

Publications

1.5K

Citations

16

H-Index

1953

Active since

Affiliations

University of California, Berkeley(Current)

Los Angeles Medical Center

Robert L. Vaught is an author at University of California, Berkeley specializing in automated reasoning, engineering, and semantics.

Top concepts

Automated ReasoningSemanticsEngineeringFormal MethodsLinguisticsLanguageMathematical FoundationsGamesGame TheoryFormal Logic

Publications per year

1953–2003

19

Publications

19

Arithmetical extensions of relational systems

Alfred Tarski, Robert L. Vaught · French digital mathematics library (Numdam) · 1958 · 296 citations

Algebraic Logic, Engineering, Automated Reasoning +4

Homogeneous Universal Models.

Michael Morley, Robert L. Vaught · MATHEMATICA SCANDINAVICA · 1962 · 248 citations · Full text

Homogeneous Universal Models, Theoretical Modeling, Model Theory

Finite Axiomatizability using additional predicates

William Craig, Robert L. Vaught · Journal of Symbolic Logic · 1958 · 139 citations

First Order, Logical Constant, Engineering +10

Denumerable models of complete theories

Robert L. Vaught · CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS eBooks · 2003 · 138 citations

Denumerable Models, Computational Model Theory, Finite Model Theory +1

Invariant sets in topology and logic

Robert L. Vaught · Fundamenta Mathematicae · 1974 · 127 citations · Full text

Invariant Sets, Automated Reasoning, Set-theoretic Topology +2

Rows per page

1–5 of 19