15 found
Order:
  1. 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  
     
    Bookmark   16 citations  
  2.  26
    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.  33
    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.
  4.  23
    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  
     
    Bookmark   6 citations  
  5.  30
    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  
     
    Bookmark   4 citations  
  6.  50
    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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  23
    A Note on Function Quantification.J. W. Addison & S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (1):47-48.
  8. 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  
     
    Bookmark  
  9.  26
    (1 other version)Meeting of the Association for Symbolic Logic.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  10. The theory of models.J. W. Addison (ed.) - 1965 - Amsterdam,: North-Holland Pub. Co..
  11.  25
    Elementary Theories with Models without Automorphisms.Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin & Alfred Tarski - 1974 - Journal of Symbolic Logic 39 (2):338-338.
  12.  20
    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.
  13.  20
    (1 other version)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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  16
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  32
    Simon Kochen. Topics in the theory of definition. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 170–176. - Walter Felscher. On criteria of definability. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 834–836. [REVIEW]Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski & Walter Felscher - 1969 - Journal of Symbolic Logic 34 (2):300-301.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark