Bibliography of Abraham Robinson Books
——On the Metamathematics of Algebra, North-Holland Publ. Co., Amsterdam, 1951, ix + 195 pp.
——Théorie Métamathématique des Ideaux, Gauthier-Villars, Paris, 1955, ix + 186 pp.
——Wing Theory (with J. A. Laurmann), Cambridge Univ. Press, Cambridge, England, 1956, ix + 569 pp.
——Complete Theories, North-Holland Publ. Co., Amsterdam, 1956, ix + 129 pp.
——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.
——Numbers and Ideals, Holden-Day, San Francisco, 1965, ix + 106 pp.
——Non-Standard Analysis, North-Holland Publ. Co., Amsterdam, 1966, new edition 1974, ix + 293 pp.
——Contributions to Non-Standard Analysis (co-editor with W. A. J. Luxemburg), North-Holland Publ. Co., Amsterdam, 1972, ix + 289 pp.
——Nonarchimedean Fields and Asymptotic Expansions (with A. H. Lightstone), North-Holland Publ. Co., Amsterdam, 1975, ix + 204 pp.
Abraham RobinsonAlgebra—A Model Theoretic Viewpoint (with V. B. Weispfenning), Springer-Verlag, to appear.
Papers
——On the independence of the axioms of definiteness, J. Symbolic Logic4 (1939), 69–72.
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.
——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.
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.
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.
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.
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.
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.
——The characterization of algebraic plane curves (with Th. Motzkin), Duke Math. J.14 (1947), 837–853. MR 9 # 373.
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.
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.
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.
——Rotary derivatives of a delta wing at supersonic speeds, J. Royal Aeronaut. Soc.52 (1948), 735–752.
——On some problems of unsteady supersonic aerofoil theory, Proc. 7th Internat. Congress Appl. Mech.2 (1948), 500–514. MR 11 # 477.
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.
——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.
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.
——On non-associative systems, Proc. Edinburgh Math. Soc. (2)8 (1949), 111–118. MR 12 # 5.
——On the integration of hyperbolic differential equations, J. London Math. Soc.25 (1950), 209–217. MR 12 # 338.
——On functional transformations and summability, Proc. London Math. Soc. (2)52 1947 (1950), 132–160. MR 12 # 253.
——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.
——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.
——Wave reflexion near a wall, Proc. Cambridge Philos. Soc.47 (1951), 528–544. MR 12 # 875.
Abraham RobinsonOn axiomatic systems which possess finite models, “Methodos” Editrice La Fiaccola, Milano (1951), 140–149.
——Aerofoil theory for swallow tail wings of small aspect ratio, Aeronaut. Quart.4 (1952), 69–82. MR 14 # 219, also MR 12 # 452.
——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.
——Non-uniform supersonic flow, Quart. Appl. Math.10 (1953), 307–319. MR 14 # 511.
——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.
——Core-consistency and total inclusion for methods of summability (with G. G. Lorentz), Canad. J. Math.6 (1954), 27–34. MR 15 # 618.
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.
——On predicates in algebraically closed fields, J. Symbolic Logic19 (1954), 103–114. MR 15 # 925.
——Note on an embedding theorem for algebraic systems, J. London Math. Soc.30 (1955), 249–252. MR 17 # 449.
——Mixed problems for hyperbolic partial differential equations (with L. L. Campbell), Proc. London Math. Soc. (3)5 (1955), 129–147. MR 16 # 1116.
——Metamathematical considerations on the relative irreducibility of polynomials (with P. C. Gilmore), Canad. J. Math.7 (1955), 483–489. MR 17 # 226.
——On ordered fields and definite functions, Math. Ann.130 (1955), 257–271. MR 17 # 822.
——Further remarks on ordered fields and definite functions, Math. Ann.130 (1956), 405–409. MR 17 # 118.
——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.
——Note on a problem of L. Henkin, J. Symbolic Logic21 (1956), 33–35. MR 17 # 817.
——On the finiteness theorem of Siegel and Mahler concerning Diophantine Equations (with P. Roquette), J. Number Theory7 (1975), 121–176. MR 51 # 10222.
——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.
Abraham RobinsonOn constrained denotation, inSelected papers of Abraham Robinson, Yale University Press, New Haven, Connecticut, to appear.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mostow, G.D. Abraham Robinson 1918–1974. Israel J. Math. 25, 5–14 (1976). https://doi.org/10.1007/BF02756558
Issue Date:
DOI: https://doi.org/10.1007/BF02756558