15 found
Sort by:
  1. 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)  
     
    My bibliography  
     
    Export citation  
  2. J. W. Addison & H. B. Enderton (1984). Meeting of the Association for Symbolic Logic: Berkeley, 1983. Journal of Symbolic Logic 49 (1):322-326.
  3. 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  
     
    My bibliography  
     
    Export citation  
  4. 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  
     
    My bibliography  
     
    Export citation  
  5. 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
     
    My bibliography  
     
    Export citation  
  6. 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  
     
    My bibliography  
     
    Export citation  
  7. 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  
     
    My bibliography  
     
    Export citation  
  8. 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  
     
    My bibliography  
     
    Export citation  
  9. 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  
     
    My bibliography  
     
    Export citation  
  10. 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  
  11. J. W. Addison (1965). The Method of Alternating Chains. In The Theory of Models. Amsterdam, North-Holland Pub. Co.. 1--16.
    No categories
     
    My bibliography  
     
    Export citation  
  12. J. W. Addison (ed.) (1965). The Theory of Models. Amsterdam, North-Holland Pub. Co..
     
    My bibliography  
     
    Export citation  
  13. J. W. Addison, Leon Henkin & Alfred Tarski (1965). The Theory of Models Proceedings of the 1963 International Symposium at Berkeley.
     
    My bibliography  
     
    Export citation  
  14. J. W. Addison (1959). Review: Heinz Bachmann, Transfinite Zahlen. [REVIEW] Journal of Symbolic Logic 24 (3):223-224.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. 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  
     
    My bibliography  
     
    Export citation