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