14 found
Order:
  1. R. L. Vaught (1960). Sentences True in All Constructive Models. Journal of Symbolic Logic 25 (1):39-53.
  2. James K. Feibleman, R. M. Smullyan & R. L. Vaught (1970). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 35 (2):352-363.
  3.  2
    S. Feferman & R. L. Vaught (1967). The First Order Properties of Products of Algebraic Systems. Journal of Symbolic Logic 32 (2):276-276.
    Direct download  
     
    Export citation  
     
    My bibliography   26 citations  
  4.  20
    W. Craig & R. L. Vaught (1958). Finite Axiomatizability Using Additional Predicates. Journal of Symbolic Logic 23 (3):289-308.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   22 citations  
  5. R. L. Vaught, Lars Svenonius, Erwin Engeler & Gebhard Fukrken (1970). Denumerable Models of Complete Theories. Journal of Symbolic Logic 35 (2):342-344.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  6.  1
    S. C. Kleene, W. Craig & R. L. Vaught (1971). Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols. Journal of Symbolic Logic 36 (2):334-335.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  7. R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski (1968). A Löwenheim-Skolem Theorem for Cardinals for Apart. Journal of Symbolic Logic 33 (3):476-477.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  2
    R. L. Vaught (1966). Review: A. Ehrenfeucht, A. Mostowski, Models of Axiomatic Theories Admitting Automorphisms. [REVIEW] Journal of Symbolic Logic 31 (4):644-645.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  1
    R. L. Vaught (1966). Review: A. Ehrenfeucht, On Theories Categorical in Power. [REVIEW] Journal of Symbolic Logic 31 (4):645-645.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. R. Montague & R. L. Vaught (1960). A Note on Theories with Selectors. Journal of Symbolic Logic 25 (2):177-178.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  11. R. Montague & R. L. Vaught (1960). Natural Models of Set Theories. Journal of Symbolic Logic 25 (2):177-177.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  12. R. L. Vaught (1997). Ehrenfeucht A.. On Theories Categorical in Power. Fundamenta Mathematicae, Vol. 44 (1957), Pp. 241–248. Journal of Symbolic Logic 31 (4):645-645.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. R. L. Vaught (1962). 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. [REVIEW] Journal of Symbolic Logic 27 (1):97.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. R. L. Vaught (1962). Review: Simon Kochen, Completeness of Algebraic Systems in Higher Order Calculi. [REVIEW] Journal of Symbolic Logic 27 (1):97-97.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography