Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)On Padoa's Method in the Theory of Definition. [REVIEW]William Craig - 1956 - Journal of Symbolic Logic 21 (2):194-195.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • A theorem on permutations in models.Lars Svenonius - 1959 - Theoria 25 (3):173-178.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A Note on Theories with Selectors.R. Montague & R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):177-178.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (2 other versions)Roger C. Lyndon. An interpolation theorem in the predicate calculus. Pacific journal of mathematics, vol. 9 (1959), pp. 129–142. [REVIEW]M. A. Taitslen - 1960 - Journal of Symbolic Logic 25 (3):273-274.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • (1 other version)Logic with denumerably long formulas and finite strings of quantifiers.Dana Scott - 1965 - Journal of Symbolic Logic 36 (1):1104--329.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Model Theory and Non-Standard Arithmetic.A. Robinson - 1970 - Journal of Symbolic Logic 35 (1):149-149.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Result on Consistency and Its Application to the Theory of Definition.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):174-174.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Homogeneous Universal Models.Michael Morley & Robert Vaught - 1967 - Journal of Symbolic Logic 32 (4):535-535.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • (1 other version)An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-9b866bbb8-6z64j uwo