Robert Lawson Vaught | Academic Influence

Robert Lawson Vaught's AcademicInfluence.com Rankings

Robert Lawson Vaught

Mathematics

#910

World Rank

#1597

Historical Rank

#399

USA Rank

Measure Theory

#2230

World Rank

#2679

Historical Rank

#633

USA Rank

mathematics Degrees

Download Badge

Mathematics

Robert Lawson Vaught's Degrees

PhD Mathematics University of California, Berkeley
Bachelors Mathematics University of California, Berkeley

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Robert Lawson Vaught Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Robert Lawson Vaught was a mathematical logician and one of the founders of model theory. Life Vaught was a musical prodigy in his youth, in his case playing the piano. He began his university studies at Pomona College, at age 16. When World War II broke out, he enlisted into the US Navy, which assigned him to the University of California's V-12 program. He graduated in 1945 with an AB in physics.

(See a Problem?)

Robert Lawson Vaught's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The first order properties of products of algebraic systems (1959) (444)
Arithmetical extensions of relational systems (1958) (256)
Homogeneous Universal Models (1962) (204)
Denumerable Models of Complete Theories (1970) (152)
Invariant sets in topology and logic (1974) (124)
Finite Axiomatizability using additional predicates (1958) (80)
Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols (1952) (73)
Sentences true in all constructive models (1960) (60)
Natural models of set theories (1959) (54)
On a Theorem of Cobham Concerning Undecidable Theories (1966) (48)
Principles of partial reflection in the set theories of Zermelo and Ackermann (1961) (47)
The positive cone in Banach algebras (1953) (44)
Axiomatizability by a schema (1968) (42)
The completeness of logic with the added quantifier "there are uncountable many" (1964) (41)
Applications of the Löwenheim–Skolem–Tarski Theorem to Problems of Completeness and Decidability (1954) (36)
Alfred Tarski's work in model theory (1986) (35)
MODELS OF COMPLETE THEORIES (1963) (32)
Descriptive Set Theory in L ω 1 ω (1982) (32)
Set Theory: An Introduction (1985) (26)
Remarks on Universal Classes of Relational Systems (1954) (19)
Descriptive set theory in L_{\omega _l \omega } (1973) (18)
Borel games and the Baire property (1983) (13)
A Note on Theories with Selectors (1959) (7)
Review: A. Ehrenfeucht, A. Mostowski, Models of Axiomatic Theories Admitting Automorphisms (1966) (7)
Some Aspects of the Theory of Models (1973) (7)
Kochen Simon. Completeness of algebraic systems in higher order calculi. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957 , 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 370–376. (1962) (6)
Cardinal Numbers and Finite Sets (2001) (4)
On the Work of Andrzej Ehrenfeucht in Model Theory (1997) (4)
Twenty-eighth annual Meeting of the Association for Symbolic Logic (1962) (3)
On extending actions (1989) (3)
A Borel invariantization (1973) (2)
Set theory - an introduction (2. ed.) (1995) (2)
Ehrenfeucht A.. On theories categorical in power. Fundamenta mathematicae, vol. 44 (1957), pp. 241–248. (1966) (1)
Review: Simon Kochen, Completeness of Algebraic Systems in Higher Order Calculi (1962) (0)
Sets and Relations and Operations among Them (2001) (0)
ELEMENTARY CLASSES CLOSED UNDER DESCENDING INTERSECTION (1966) (0)
Meeting of the Association for Symbolic Logic, San Francisco, 1981 (1983) (0)
Lightstone A. H. and Robinson A.. Syntactical transforms. Transactions of the American Mathematical Society, vol. 86 (1957), pp. 220–245. (1959) (0)
Axiomatic Set Theory (2001) (0)
Logic and Formalized Theories (2001) (0)
8 Conclusion 7.4 Scenario B: Incremental Model Checking (1995) (0)
Well-Orderings, Ordinals and Cardinals (2001) (0)
Review: J. Los, On the Categoricity in Power of Elementary Deductive Systems and some Related Problems (1958) (0)
The Number Systems (2001) (0)
Meeting of the Association for Symbolic Logic (1970) (0)
Review: Abraham Robinson, Complete Theories (1960) (0)
More on Cardinal Numbers (2001) (0)
List of officers and members of the Association for Symbolic Logic (1960) (0)
Orders and Order Types (2001) (0)
The Axiom of Regularity (2001) (0)
On Pcd(A) - Classes for an Admissible Set A (1980) (0)
More on Cardinals and Ordinals (2001) (0)
Remarks on Universal Classes of Relational Systems. (1959) (0)
Review: Abraham Robinson, L'Application de la Logique Formelle aux Mathematiques; G. Kurepa, G. Kreisel, A. Robinson, Discussion (1958) (0)

This paper list is powered by the following services:

Other Resources About Robert Lawson Vaught

en.wikipedia.org

What Schools Are Affiliated With Robert Lawson Vaught?

Robert Lawson Vaught is affiliated with the following schools:

Image Attributions

Image Source for Robert Lawson Vaught