19 found
Order:
  1.  8
    Tarski's Theory of Definability: Common Themes in Descriptive Set Theory, Recursive Function Theory, Classical Pure Logic, and Finite-Universe Logic.J. W. Addison - 2004 - 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   3 citations  
  2.  2
    Finite Approximations of Infinitely Long Formulas.H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):129-130.
  3. The Method of Alternating Chains.J. W. Addison - 1965 - In The Theory of Models. Amsterdam: North-Holland Pub. Co.. pp. 1--16.
    No categories
     
    Export citation  
     
    My bibliography   9 citations  
  4. The Fraenkel-Mostowski Method for Independence Proofs in Set Theory.J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard - 1975 - Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  5.  15
    Meeting of the Association for Symbolic Logic: Berkeley, 1983.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  6.  1
    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  
     
    My bibliography   2 citations  
  7.  1
    A Note on Function Quantification.J. W. Addison & S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (1):47-48.
  8. Measurement, Empirical Meaningfulness, and Three-Valued Logic.Patrick Suppes, J. W. Addison, Leon Henkin & Alfred Tarski - 1970 - Journal of Symbolic Logic 35 (1):129-131.
  9.  2
    Languages with Added Quantifier There Exist at Least ℵ Α.Gebhard Furhken, J. W. Addison, Leon Henkin & Alfred Tarski - 1970 - Journal of Symbolic Logic 35 (2):342-342.
  10.  2
    Topics in the Theory of Definition.Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski & Walter Felscher - 1969 - Journal of Symbolic Logic 34 (2):300-301.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  1
    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]J. W. Addison - 1959 - Journal of Symbolic Logic 24 (3):223-224.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    Meeting of the Association for Symbolic Logic.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  13. Review: Heinz Bachmann, Transfinite Zahlen. [REVIEW]J. W. Addison - 1959 - Journal of Symbolic Logic 24 (3):223-224.
  14. General Bibliography.J. W. Addison, L. Henkin & A. Tarski - 1973 - In Glenn Pearce & Patrick Maynard (eds.), Conceptual Change. Boston: D. Reidel. pp. 52--1963.
    No categories
     
    Export citation  
     
    My bibliography  
  15. 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]J. W. Addison - 1957 - Journal of Symbolic Logic 22 (3):301-302.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Review: A. V. Kuznecov, B. A. Trahtenbrot, An Investigation of Partial Recursive Operators by Means of the Theory of the Space of Baire. [REVIEW]J. W. Addison - 1957 - Journal of Symbolic Logic 22 (3):301-302.
  17. The Theory of Models.J. W. Addison (ed.) - 1965 - Amsterdam: North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography  
  18. The Theory of Models Proceedings of the 1963 International Symposium at Berkeley.J. W. Addison, Leon Henkin & Alfred Tarski - 1965
  19. Elementary Theories with Models Without Automorphisms.Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin & Alfred Tarski - 1974 - Journal of Symbolic Logic 39 (2):338-338.