18 found
Order:
Disambiguations
Robert L. Vaught [14]Robert Vaught [7]
  1.  28
    Alfred Tarski's Work in Model Theory.Robert L. Vaught - 1986 - Journal of Symbolic Logic 51 (4):869-882.
  2.  12
    Axiomatizability by a Schema.Robert L. Vaught - 1967 - Journal of Symbolic Logic 32 (4):473-479.
  3.  11
    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  
     
    My bibliography   3 citations  
  4.  1
    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  
     
    My bibliography   4 citations  
  5.  6
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Review: Abraham Robinson, Complete Theories. [REVIEW]Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.
  7.  1
    Review: J. Los, On the Categoricity in Power of Elementary Deductive Systems and Some Related Problems. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):360-361.
  8. Descriptive Set Theory in L Ω 1 Ω.Robert Vaught, A. R. D. Mathias & H. Rogers - 1982 - Journal of Symbolic Logic 47 (1):217-218.
  9.  10
    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.
  10.  3
    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  
     
    My bibliography  
  11.  6
    Twenty-Eighth Annual Meeting of the Association for Symbolic Logic.Robert L. Vaught - 1962 - Journal of Symbolic Logic 27 (4):475-483.
  12.  2
    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)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  13. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Notions From General Algebra.Robert Vaught - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem, Magnes Press, Hebrew University;. pp. 226.
    No categories
     
    Export citation  
     
    My bibliography  
  15. Ł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.
  16. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Review: A. H. Lightstone, A. Robinson, Syntactical Transforms. [REVIEW]Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (3):244-245.
     
    Export citation  
     
    My bibliography  
  18. 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.