Advertisement

Israel Journal of Mathematics

, Volume 25, Issue 1–2, pp 5–14 | Cite as

Abraham Robinson 1918–1974

  • G. D. Mostow
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography of Abraham Robinson Books

  1. ——On the Metamathematics of Algebra, North-Holland Publ. Co., Amsterdam, 1951, ix + 195 pp.MATHGoogle Scholar
  2. ——Théorie Métamathématique des Ideaux, Gauthier-Villars, Paris, 1955, ix + 186 pp.MATHGoogle Scholar
  3. ——Wing Theory (with J. A. Laurmann), Cambridge Univ. Press, Cambridge, England, 1956, ix + 569 pp.MATHGoogle Scholar
  4. ——Complete Theories, North-Holland Publ. Co., Amsterdam, 1956, ix + 129 pp.MATHGoogle Scholar
  5. ——Introduction to Model Theory and the Metamathematics of Algebra, North-Holland Publ. Co., Amsterdam, 1963, ix + 284 pp. Translated into Russian 1967, into Italian 1974, new edition 1974.MATHGoogle Scholar
  6. ——Numbers and Ideals, Holden-Day, San Francisco, 1965, ix + 106 pp.MATHGoogle Scholar
  7. ——Non-Standard Analysis, North-Holland Publ. Co., Amsterdam, 1966, new edition 1974, ix + 293 pp.MATHGoogle Scholar
  8. ——Contributions to Non-Standard Analysis (co-editor with W. A. J. Luxemburg), North-Holland Publ. Co., Amsterdam, 1972, ix + 289 pp.Google Scholar
  9. ——Nonarchimedean Fields and Asymptotic Expansions (with A. H. Lightstone), North-Holland Publ. Co., Amsterdam, 1975, ix + 204 pp.MATHGoogle Scholar
  10. Abraham RobinsonAlgebra—A Model Theoretic Viewpoint (with V. B. Weispfenning), Springer-Verlag, to appear.Google Scholar

Papers

  1. ——On the independence of the axioms of definiteness, J. Symbolic Logic4 (1939), 69–72.CrossRefGoogle Scholar
  2. Abraham RobinsonOn nil-ideals in general rings. Galley proofs recovered posthumously. To appear in Selected Papers of Abraham Robinson, Yale University Press, New Haven, Connecticut.Google Scholar
  3. ——On a certain variation of the distributive law for a commutative algebraic field, Proc. Roy. Soc. Edinburgh, Sect. A,61 (1941), 93–101. MR 3 #101.MathSciNetMATHGoogle Scholar
  4. Abraham RobinsonA note on the interpretation of V—g records (with P. E. Montagnon and S. V. Fagg), Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2097 (9460), (1945), 8 pp.Google Scholar
  5. Abraham RobinsonThe aerodynamic loading of wings with endplates, Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2342 (8615), 1945 (1950), 13 pp.Google Scholar
  6. Abraham RobinsonThe wave drag of diamond-shaped aerofoils at zero incidence, Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2394 (9780), 1946 (1950), 6 pp.Google Scholar
  7. Abraham RobinsonShock transmission in beams, Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2265 (8769, 9306 and 93414), 1945 (1950), 68 pp.Google Scholar
  8. Abraham RobinsonAerofoil theory of a flat delta wing at supersonic speeds, Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2548 (10,222), 1946 (1952), 21 pp. MR 14 # 699.Google Scholar
  9. ——The characterization of algebraic plane curves (with Th. Motzkin), Duke Math. J.14 (1947), 837–853. MR 9 # 373.MATHCrossRefMathSciNetGoogle Scholar
  10. Abraham RobinsonNote on the application of the linearised theory for compressible flow to transonic speeds (with A. D. Young), Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2399 (10,474), 1947 (1951), 6 pp.Google Scholar
  11. Abraham RobinsonThe effect of the sweepback of delta wings on the performance of an aircraft at supersonic speeds (with F. T. Davies), Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2476 (10,594), 1947 (1951), 6 pp.Google Scholar
  12. Abraham RobinsonInterference on a wing due to a body at supersonic speeds (with S. Kirkby), Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2500 (10,631), 1947 (1952), 10 pp. MR 9 # 479, MR 13 # 882.Google Scholar
  13. ——Rotary derivatives of a delta wing at supersonic speeds, J. Royal Aeronaut. Soc.52 (1948), 735–752.Google Scholar
  14. ——On some problems of unsteady supersonic aerofoil theory, Proc. 7th Internat. Congress Appl. Mech.2 (1948), 500–514. MR 11 # 477.Google Scholar
  15. Abraham RobinsonBound and trailing vortices in the linearised theory of supersonic flow, and the downwash in the wake of a delta wing (with J. H. Hunter-Tod), Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2409 (11,296), 1947 (1952), 14 pp. MR 9 # 479.Google Scholar
  16. ——On source and vortex distributions in the linearised theory of steady supersonic flow, Quart. J. Mech. Appl. Math.1 (1948), 408–432. MR 10 # 410.MATHCrossRefMathSciNetGoogle Scholar
  17. Abraham RobinsonThe aerodynamic derivatives with respect to sideslip for a delta wing with small dihedral at zero incidence at supersonic speeds (with J. H. Hunter-Tod), Ministry of Supply (London), Aeronaut. Res. Council, Rep. and Memoranda No. 2410 (11,322), 1947 (1952), 14 pp.Google Scholar
  18. ——On non-associative systems, Proc. Edinburgh Math. Soc. (2)8 (1949), 111–118. MR 12 # 5.MATHMathSciNetGoogle Scholar
  19. ——On the integration of hyperbolic differential equations, J. London Math. Soc.25 (1950), 209–217. MR 12 # 338.MATHCrossRefMathSciNetGoogle Scholar
  20. ——On functional transformations and summability, Proc. London Math. Soc. (2)52 1947 (1950), 132–160. MR 12 # 253.CrossRefGoogle Scholar
  21. ——Les rapports entre le calcul déductif et l'interprétation sémantique d'un système axiomatique, Colloques Internationaux du Centre National de la Recherche Scientifique, Paris, No. 36, 1950, pp. 35–52, Centre National de la Recherche Scientifique, Paris, 1953. MR 15 # 190.Google Scholar
  22. ——On the application of symbolic logic to algebra, Proc. of the Internat. Congress of Mathematicians, Cambridge, Mass., Vol. 1, 1950, pp. 686–694, Amer. Math. Soc. Providence, R.I., 1952, MR 13 # 716.Google Scholar
  23. ——Wave reflexion near a wall, Proc. Cambridge Philos. Soc.47 (1951), 528–544. MR 12 # 875.MATHMathSciNetCrossRefGoogle Scholar
  24. Abraham RobinsonOn axiomatic systems which possess finite models, “Methodos” Editrice La Fiaccola, Milano (1951), 140–149.Google Scholar
  25. ——Aerofoil theory for swallow tail wings of small aspect ratio, Aeronaut. Quart.4 (1952), 69–82. MR 14 # 219, also MR 12 # 452.MathSciNetGoogle Scholar
  26. ——L'application de la logique formelle aux mathématiques, inApplications scientifiques de la logique mathématique, Actes du 2e. Colloque International de Logique Mathematique, Paris, 1952, pp. 51–64, Gauthier-Villars, Paris, 1954. MR 16 # 782.Google Scholar
  27. ——Non-uniform supersonic flow, Quart. Appl. Math.10 (1953), 307–319. MR 14 # 511.MATHMathSciNetGoogle Scholar
  28. ——Flow round compound lifting units, Proc. Symposium on High Speed Aerodynamics, Ottawa, Canada, 1953, High Aerodynamics Lab. National Aeronaut. Establishment, Ottawa, 1953, pp. 26–29.Google Scholar
  29. ——Core-consistency and total inclusion for methods of summability (with G. G. Lorentz), Canad. J. Math.6 (1954), 27–34. MR 15 # 618.MATHGoogle Scholar
  30. Abraham RobinsonOn some problems of unsteady aerofoil theory, Proc. of the Second Canadian Symposium on Aerodynamics, Toronto, 1954, The Institute of Aerophysics, University of Toronto, 1954, pp. 106–122. MR 17 # 310.Google Scholar
  31. ——On predicates in algebraically closed fields, J. Symbolic Logic19 (1954), 103–114. MR 15 # 925.MATHCrossRefMathSciNetGoogle Scholar
  32. ——Note on an embedding theorem for algebraic systems, J. London Math. Soc.30 (1955), 249–252. MR 17 # 449.MATHCrossRefMathSciNetGoogle Scholar
  33. ——Mixed problems for hyperbolic partial differential equations (with L. L. Campbell), Proc. London Math. Soc. (3)5 (1955), 129–147. MR 16 # 1116.MATHMathSciNetGoogle Scholar
  34. ——Metamathematical considerations on the relative irreducibility of polynomials (with P. C. Gilmore), Canad. J. Math.7 (1955), 483–489. MR 17 # 226.MATHMathSciNetGoogle Scholar
  35. ——On ordered fields and definite functions, Math. Ann.130 (1955), 257–271. MR 17 # 822.MATHCrossRefGoogle Scholar
  36. ——Further remarks on ordered fields and definite functions, Math. Ann.130 (1956), 405–409. MR 17 # 118.MATHCrossRefMathSciNetGoogle Scholar
  37. ——A result on consistency and its application to the theory of definition, Nederl. Akad. Wetensch. Proc. Ser. A59, and Indag. Math.18 (1956), 47–58. MR 17 # 1122.MATHGoogle Scholar
  38. ——Note on a problem of L. Henkin, J. Symbolic Logic21 (1956), 33–35. MR 17 # 817.MATHCrossRefGoogle Scholar
  39. ——On the finiteness theorem of Siegel and Mahler concerning Diophantine Equations (with P. Roquette), J. Number Theory7 (1975), 121–176. MR 51 # 10222.MATHCrossRefMathSciNetGoogle Scholar
  40. ——Algorithms in algebra, inModel Theory and Algebra, A Memorial Tribute to Abraham Robinson, Lecture Notes in Mathematics, Vol. 498, Springer-Verlag, N.Y., 1975, pp. 15–40.Google Scholar
  41. Abraham RobinsonOn constrained denotation, inSelected papers of Abraham Robinson, Yale University Press, New Haven, Connecticut, to appear.Google Scholar

Copyright information

© Hebrew University 1976

Authors and Affiliations

  • G. D. Mostow
    • 1
  1. 1.Yale UniversityNew HavenUSA

Personalised recommendations