Works by Robert Vaught

( view other items matching `Robert Vaught`, view all matches )
19 found
Order:
Disambiguations
Robert L. Vaught [15]Robert Vaught [8]
  1.  33
    Axiomatizability by a schema.Robert L. Vaught - 1967 - Journal of Symbolic Logic 32 (4):473-479.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  47
    Alfred Tarski's work in model theory.Robert L. Vaught - 1986 - Journal of Symbolic Logic 51 (4):869-882.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  12
    On a Theorem of Cobham Concerning Undecidable Theories.Robert L. Vaught, Ernest Nagel, Patrick Suppes & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):126-127.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  14
    Proceedings of the Tarski Symposium: An International Symposium to Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, C. C. Chang John Addison, Dana Scott William Craig & Robert Vaught (eds.) - 1974 - Providence, RI, USA: American Mathematical Society.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  17
    Descriptive set theory in L {\ omega l\ omega}.Robert Vaught - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 574--598.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  13
    Descriptive Set Theory in L ω 1 ω.Robert Vaught, A. R. D. Mathias & H. Rogers - 1982 - Journal of Symbolic Logic 47 (1):217-218.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  17
    Complete Theories.Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  8.  30
    Meeting of the association for symbolic logic: San francisco, 1981.Jon Barwise, Robert Vaught & Yiannis Moschovakis - 1983 - Journal of Symbolic Logic 48 (2):505-513.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  9.  43
    Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability.Dana Scott & Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (1):58.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  10. Notions from general algebra.Robert Vaught - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 226.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  29
    Twenty-eighth annual meeting of the association for symbolic logic.Robert L. Vaught - 1962 - Journal of Symbolic Logic 27 (4):475-483.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  12.  19
    Łoś J.. On the categoricity in power of elementary deductive systems and some related problems. Colloquium mathematicum, vol. 3 no. 1 , pp. 58–62. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):360-361.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  15
    Review of Skolem's Über die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems. [REVIEW]John Dawson, Kurt Godel & Robert Vaught - 1990 - Journal of Symbolic Logic 55 (1):347-348.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  2
    Lightstone A. H. and Robinson A.. Syntactical transforms. Transactions of the American Mathematical Society, vol. 86 , pp. 220–245. [REVIEW]Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (3):244-245.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  8
    Robinson Abraham. Complete theories. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1956, VIII + 129 pp. [REVIEW]Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  1
    Review: A. H. Lightstone, A. Robinson, Syntactical Transforms. [REVIEW]Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (3):244-245.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  22
    Robinson Abraham. L'application de la logique formelle aux mathématiques. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 51–63.Kurepa G., Kreisel G., Robinson A.. Discussion. Applications scientifiques de la logique mathéatique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 64. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (2):218-219.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  8
    Review: Abraham Robinson, L'Application de la Logique Formelle aux Mathematiques; G. Kurepa, G. Kreisel, A. Robinson, Discussion. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (2):218-219.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Review: Abraham Robinson, Complete Theories. [REVIEW]Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.
     
    Export citation  
     
    Bookmark   1 citation