8 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, 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  
  4. 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  
  5. J. W. Addison (ed.) (1965). The Theory of Models. Amsterdam, North-Holland Pub. Co..
     
    My bibliography  
     
    Export citation  
  6. J. W. Addison, Leon Henkin & Alfred Tarski (1965). The Theory of Models Proceedings of the 1963 International Symposium at Berkeley.
    No categories
     
    My bibliography  
     
    Export citation  
  7. J. W. Addison (1959). Review: Heinz Bachmann, Transfinite Zahlen. [REVIEW] Journal of Symbolic Logic 24 (3):223-224.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. 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