Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/robinson-a

Abraham Robinson (robinson-a)

Contributions à Philosophie.ch

No contributions yet

Bibliography

    Bar-Hillel, Yehoshua, Poznański, Edward, Rabin, Michael O. and Robinson, Abraham, eds. 1961. Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary. Jerusalem: The Magnes Press. Second edition: Bar-Hillel et al. (1966).
    Bar-Hillel, Yehoshua, Poznański, Edward, Rabin, Michael O. and Robinson, Abraham, eds. 1966. Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary. 2nd ed. Jerusalem: The Magnes Press. First edition: Bar-Hillel et al. (1961).
    Luxemburg, W. A. J. and Robinson, Abraham, eds. 1972. Contributions to Non-Standard Analysis. Studies in Logic and the Foundations of Mathematics n. 69. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1951. On the Metamathematics of Algebra. Studies in Logic and the Foundations of Mathematics n. 4. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1955. Ordered Structures and Related Concepts.” in Mathematical Interpretation of Formal Systems, pp. 51–56. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1956a. Complete Theories. Studies in Logic and the Foundations of Mathematics n. 18. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1956b. Note on a Problem of L. Henkin.” The Journal of Symbolic Logic 21: 33–35.
    Robinson, Abraham. 1958. Relative Model-Completeness and the Elimination of Quantifiers.” Dialectica 12(47–48): 394–407.
    Robinson, Abraham. 1961. On the Construction of Models.” in Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary, edited by Yehoshua Bar-Hillel, Edward Poznański, Michael O. Rabin, and Abraham Robinson, pp. 207–217. Jerusalem: The Magnes Press. Second edition: Bar-Hillel et al. (1966).
    Robinson, Abraham. 1963a. Introduction to Model Theory and to the Metamathematics of Algebra. Studies in Logic and the Foundations of Mathematics n. 32. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1963b. A Basis for the Mechanization of the Theory of Equations.” in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirschberg, pp. 95–99. Studies in Logic and the Foundations of Mathematics n. 35. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1965. Formalism 64.” in Logic, Methodology and Philosophy of Science II, Proceedings of the 1964 International Congress in Jerusalem, edited by Yehoshua Bar-Hillel, pp. 228–247. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1966. Non-Standard Analysis. Studies in Logic and the Foundations of Mathematics n. 42. Amsterdam: North-Holland Publishing Co. Second edition: Robinson (1974a).
    Robinson, Abraham. 1967. The Metaphysics of the Calculus.” in Problems in the Philosophy of Mathematics (Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1), edited by Imre Lakatos, pp. 28–40. Studies in Logic and the Foundations of Mathematics n. 47. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1969a. From a Formalist Point of View.” Dialectica 23(1): 45–49.
    Robinson, Abraham. 1969b. Problems and Methods of Model Theory.” in Aspects of Mathematical Logic, edited by Ettore Casari, pp. 181–266. Roma: Edizione cremonese.
    Robinson, Abraham. 1971. Infinite Forcing in Model Theory.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 317–340. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1972. Algebraic Function Fields and Non-Standard Arithmetic.” in Contributions to Non-Standard Analysis, edited by W. A. J. Luxemburg and Abraham Robinson, pp. 1–14. Studies in Logic and the Foundations of Mathematics n. 69. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1973. Nonstandard Arithmetic and Generic Arithmetic.” in Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress in Bucharest 1971, edited by Patrick Suppes, Leon Henkin, Athanase Joja, and Gr.C. Moisil, pp. 137–156. Studies in Logic and the Foundations of Mathematics n. 74. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1974a. Non-Standard Analysis. 2nd ed. Princeton, New Jersey: Princeton University Press. First edition: Robinson (1966).
    Robinson, Abraham. 1974b. A Decision Method for Elementary Algebra and Geometry – Revisited.” in Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his Seventieth Birthday, edited by Arend Heyting, pp. 139–152. Proceedings of Symposia in Pure Mathematics n. 25. Providence, Rhode Island: American Mathematical Society. Held at the University of California, Berkeley, June 23-30, 1971.
    Robinson, Abraham. 1975. Concerning Progress in the Philosophy of Mathematics.” in Logic Colloquium ’73, edited by H. E. Rose and John C. Shepherdson, pp. 41–52. Studies in Logic and the Foundations of Mathematics n. 80. Amsterdam: North-Holland Publishing Co.
    Robinson, Abraham. 1977. Complete Theories. Studies in Logic and the Foundations of Mathematics n. 18. Amsterdam: North-Holland Publishing Co. First edition: Robinson (1956a).
    Robinson, Abraham. 1979a. Selected Papers, vol. 1: Model Theory and Algebra. New Haven, Connecticut: Yale University Press.
    Robinson, Abraham. 1979b. Selected Papers, vol. 2: Nonstandard Analysis and Philosophy. New Haven, Connecticut: Yale University Press.
    Skolem, Thoralf, Hasenjaeger, Gisbert, Kreisel, Georg, Robinson, Abraham, Wang, Hao, Henkin, Leon and Łoś, Jerzy. 1955. Mathematical Interpretation of Formal Systems. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.