19 found
Order:
  1.  7
    J. W. Addison (2004). Tarski's Theory of Definability: Common Themes in Descriptive Set Theory, Recursive Function Theory, Classical Pure Logic, and Finite-Universe Logic. Annals of Pure and Applied Logic 126 (1-3):77-92.
    Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. We review (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2. J. W. Addison (1965). The Method of Alternating Chains. In The Theory of Models. Amsterdam, North-Holland Pub. Co. 1--16.
    No categories
     
    Export citation  
     
    My bibliography   9 citations  
  3. H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski (1969). Finite Approximations of Infinitely Long Formulas. Journal of Symbolic Logic 34 (1):129-130.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  4. J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard (1975). The Fraenkel-Mostowski Method for Independence Proofs in Set Theory. Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  5.  13
    J. W. Addison & H. B. Enderton (1984). Meeting of the Association for Symbolic Logic: Berkeley, 1983. Journal of Symbolic Logic 49 (1):322-326.
  6. 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  
  7.  2
    Gebhard Furhken, J. W. Addison, Leon Henkin & Alfred Tarski (1970). Languages with Added Quantifier There Exist at Least ℵ Α. Journal of Symbolic Logic 35 (2):342-342.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  2
    Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski & Walter Felscher (1969). Topics in the Theory of Definition. Journal of Symbolic Logic 34 (2):300-301.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9. Patrick Suppes, J. W. Addison, Leon Henkin & Alfred Tarski (1970). Measurement, Empirical Meaningfulness, and Three-Valued Logic. Journal of Symbolic Logic 35 (1):129-131.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10. J. W. Addison & S. C. Kleene (1958). A Note on Function Quantification. Journal of Symbolic Logic 23 (1):47-48.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  11. J. W. Addison (1959). Review: Heinz Bachmann, Transfinite Zahlen. [REVIEW] Journal of Symbolic Logic 24 (3):223-224.
     
    Export citation  
     
    My bibliography  
  12. J. W. Addison (1959). Bachmann Heinz. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 1. Springer-Verlag, Berlin-Göttingen-Heidelberg 1955, VII + 204 pp. [REVIEW] Journal of Symbolic Logic 24 (3):223-224.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. J. W. Addison, L. Henkin & A. Tarski (1973). General Bibliography. In Glenn Pearce & Patrick Maynard (eds.), Conceptual Change. Boston,D. Reidel 52--1963.
    No categories
     
    Export citation  
     
    My bibliography  
  14. J. W. Addison (1957). Kuznécov A. V. And Trahténbrot B. A.. Isslédovanié Častično-Rékursivnyh Opératorov Srédstvami Téorii Berovskogo Prostranstva . Doklady Akadémii Nauk SSSR, Vol. 105 , Pp. 897–900. [REVIEW] Journal of Symbolic Logic 22 (3):301-302.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. J. W. Addison & H. B. Enderton (1984). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 49 (1):322-326.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. J. W. Addison (1957). Review: A. V. Kuznecov, B. A. Trahtenbrot, An Investigation of Partial Recursive Operators by Means of the Theory of the Space of Baire. [REVIEW] Journal of Symbolic Logic 22 (3):301-302.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. J. W. Addison (ed.) (1965). The Theory of Models. Amsterdam, North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography  
  18. J. W. Addison, Leon Henkin & Alfred Tarski (1965). The Theory of Models Proceedings of the 1963 International Symposium at Berkeley.
  19. Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin & Alfred Tarski (1974). Elementary Theories with Models Without Automorphisms. Journal of Symbolic Logic 39 (2):338-338.
    Direct download  
     
    Export citation  
     
    My bibliography