13 found
Sort by:
  1. 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  
     
    My bibliography  
     
    Export citation  
  2. 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  
     
    My bibliography  
     
    Export citation  
  3. 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.
  4. 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  
     
    My bibliography  
     
    Export citation  
  5. 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  
     
    My bibliography  
     
    Export citation  
  6. 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  
     
    My bibliography  
     
    Export citation  
  7. 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)  
     
    My bibliography  
     
    Export citation  
  8. 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)  
     
    My bibliography  
     
    Export citation  
  9. 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)  
     
    My bibliography  
     
    Export citation  
  10. R. Montague & R. L. Vaught (1960). A Note on Theories with Selectors. Journal of Symbolic Logic 25 (2):177-178.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. R. Montague & R. L. Vaught (1960). Natural Models of Set Theories. Journal of Symbolic Logic 25 (2):177-177.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. R. L. Vaught (1960). Sentences True in All Constructive Models. Journal of Symbolic Logic 25 (1):39-53.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. W. Craig & R. L. Vaught (1958). Finite Axiomatizability Using Additional Predicates. Journal of Symbolic Logic 23 (3):289-308.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation