14 found
Order:
  1.  50
    Finite Axiomatizability Using Additional Predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
  2.  34
    The First Order Properties of Products of Algebraic Systems.S. Feferman & R. L. Vaught - 1967 - Journal of Symbolic Logic 32 (2):276-276.
  3.  17
    Denumerable Models of Complete Theories.R. L. Vaught, Lars Svenonius, Erwin Engeler & Gebhard Fukrken - 1970 - Journal of Symbolic Logic 35 (2):342-344.
  4. Sentences True in All Constructive Models.R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (1):39-53.
  5.  14
    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  
  6.  19
    Natural Models of Set Theories.R. Montague & R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):177-177.
  7.  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  
  8.  9
    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  
  9. 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.
  10.  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.
  11.  6
    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.
  12.  26
    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.
  13.  6
    Review: A. Ehrenfeucht, On Theories Categorical in Power. [REVIEW]R. L. Vaught - 1966 - Journal of Symbolic Logic 31 (4):645-645.
  14.  9
    Review: Simon Kochen, Completeness of Algebraic Systems in Higher Order Calculi. [REVIEW]R. L. Vaught - 1962 - Journal of Symbolic Logic 27 (1):97-97.