103 found
Order:
  1.  41
    Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - North-Holland.
  2. Introduction to Model Theory and the Metamathematics of Algebra.Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56.
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  3. The Metaphysics of the Calculus.Abraham Robinson - 1967 - Studies in Logic and the Foundations of Mathematics 47:28--46.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  4.  15
    On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  5.  24
    Complete Theories.Abraham Robinson - 1956 - North-Holland.
  6. Outlines of a Formalist Philosophy of Mathematics.Haskell B. Curry & Abraham Robinson - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.
     
    Export citation  
     
    Bookmark   14 citations  
  7.  24
    A Result on Consistency and Its Application to the Theory of Definition.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):174-174.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  8.  9
    Thirty Years of Foundational Studies.Abraham Robinson - 1966 - Journal of Symbolic Logic 33 (1):111-112.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  9.  7
    Forcing in Model Theory.Abraham Robinson, Jon Barwise & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  10.  16
    From a formalist's point of view.Abraham Robinson - 1969 - Dialectica 23 (1):45-49.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  11.  8
    Nonarchimedean Fields and Asymptotic Expansions.A. H. Lightstone & Abraham Robinson - 1981 - Journal of Symbolic Logic 46 (1):163-164.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  12.  7
    On Languages which are Based on Non-Standard Arithmetic.Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (3):516-517.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  35
    Metamathematical problems.Abraham Robinson - 1973 - Journal of Symbolic Logic 38 (3):500-516.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14. On predicates in algebraically closed fields.Abraham Robinson - 1954 - Journal of Symbolic Logic 19 (2):103-114.
  15. Compactification of groups and rings and nonstandard analysis.Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (4):576-588.
  16. Théorie Métamathématique des Idéaux.ABRAHAM ROBINSON - 1955 - Journal of Symbolic Logic 20 (3):279-281.
     
    Export citation  
     
    Bookmark   3 citations  
  17.  23
    Completeness and persistence in the theory of models.Abraham Robinson - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (1-4):15-26.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. On the construction of models.Abraham Robinson - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem, Magnes Press, Hebrew University;. pp. 207--217.
     
    Export citation  
     
    Bookmark   2 citations  
  19.  39
    On the notion of algebraic closedness for noncommutative groups and fields.Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (3):441-444.
  20.  3
    Scientific Inference.Abraham Robinson - 1957 - Journal of Symbolic Logic 29 (4):194-195.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  31
    A. I. Mal′cév. Régularnyé proizvédéniá modéléj. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 , pp. 489–502. - A. I. Mal′cév. Regular products of models. English translation of the preceding by J. N. Whitney. American Mathematical Society translations, ser. 2 vol. 39 , pp. 193–206. [REVIEW]Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (4):651-652.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  16
    Completeness and persistence in the theory of models.Abraham Robinson - 1956 - Mathematical Logic Quarterly 2 (1‐4):15-26.
  23.  26
    G. Kreisel. Mathematical significance of consistency proofs. The journal of symbolic logic, vol. 23 no. 2 , pp. 155–182. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):129-129.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  26
    Joseph S. Wholey. Persistence and Herbrand expansions. The journal oj symbolic logic, vol. 28 no. 4 , pp. 280–282.Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):127-127.
  25.  44
    Abraham Robinson's Notes: On a relatively effective procedure getting all quasi-integer solutions of diophantine equations with positive genus.Abraham Robinson - 1988 - Annals of the Japan Association for Philosophy of Science 7 (3):111-115.
  26.  41
    Kreisel G.. Sums of squares. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 313–320. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-129.
  27.  11
    Relative model‐completeness and the elimination of quantifiers1.Abraham Robinson - 1958 - Dialectica 12 (3‐4):394-407.
    Most of the early proofs of the decidability or completeness of certain mathematical theories were based on the method of eliminations of quantifiers. Various more recent results on completeness were obtained independently of such procedures. However, it is shown in the present paper that, conversely, the completeness of a mathematical theory will in certain circumstances entail the existence of an elimination method. The proof involves the application of the extended first ε‐theorem of Hilbert‐Bernays.ZusammenfassungDie meisten früheren Beweise der Vollständigkeit oder Entscheidbarkeit (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Contributions to Non-Standard Analysis.W. A. J. Luxemburg & Abraham Robinson - 1972 - North-Holland Pub. Co.
     
    Export citation  
     
    Bookmark  
  29. An Examination of a Decision Procedure.Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Completeness and Persistence in the Theory of Models.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):170-171.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Ordered Structures and Related Concepts.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):170-170.
  32. Proving a Theorem.Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (4):522-522.
  33. Review: Andrzej Mostowski, Thirty Years of Foundational Studies. [REVIEW]Abraham Robinson - 1968 - Journal of Symbolic Logic 33 (1):111-112.
  34. Review: Harold Jeffreys, Scientific Inference. [REVIEW]Abraham Robinson - 1964 - Journal of Symbolic Logic 29 (4):194-195.
  35. Review: Michael O. Rabin, Classes of Models and Sets of Sentences with the Intersection Property. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (3):413-413.
  36. Review: R. L. Vaught, Elementary Classes Closed under Descending Intersection. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (3):413-414.
  37. Some Problems of Definability in the Lower Predicate Calculus.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):171-171.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Théorie métamathématique des idéaux.ABRAHAM ROBINSON - 1956 - British Journal for the Philosophy of Science 7 (26):161-173.
     
    Export citation  
     
    Bookmark  
  39.  31
    Mostowski Andrzej. Thirty years of foundational studies. Lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930–1964. Acta philosophica Fennica, no. 17, Helsinki 1965, and Barnes & Noble, Inc., New York 1966, 180 pp.; second printing, Helsinki 1967, 180 pp. [REVIEW]Abraham Robinson - 1968 - Journal of Symbolic Logic 33 (1):111-112.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  17
    Ralph Kopperman. Model theory and its applications. Allyn and Bacon, Inc., Boston 1972, x + 333 pp. [REVIEW]Abraham Robinson - 1973 - Journal of Symbolic Logic 38 (4):647-648.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  16
    P. M. Cohn. Universal algebra. Harper & Row, Publishers, New York, Evanston, and London, 1965, xv + 333 pp. [REVIEW]Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (1):113-114.
  42.  16
    Gert H. Müller. Nicht-Standardmodelle der Zahlentheorie. Mathematische Zeitschrift, vol. 77 , pp. 414–438.Abraham Robinson - 1972 - Journal of Symbolic Logic 37 (2):405-406.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  15
    Leon Henkin. Mathematical foundations for mathematics. The American mathematical monthly, vol. 78 , pp. 463–487.Abraham Robinson - 1974 - Journal of Symbolic Logic 39 (2):333.
  44.  14
    Alfred Tarski and Robert L. Vaught. Arithmetical extensions of relational systems. Compositio mathematica, vol. 13 no. 2 , pp. 81–102. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  22
    Bing Kurt. On arithmetical classes not closed under direct union. Proceedings of the American Mathematical Society, vol. 6 , pp. 836–846. [REVIEW]Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (3):321-321.
  46.  12
    G. Kreisel. Foundations of intuitionistic logic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 198–210. [REVIEW]Abraham Robinson - 1965 - Journal of Symbolic Logic 30 (2):243-244.
  47.  12
    James Ax and Simon Kochen. Diophantine problems over local fields I. American journal of mathematics, vol. 87 , pp. 605–630. - James Ax and Simon Kochen. Diophantine problems over local fields II. A complete set of axioms for p-adic number theory. American journal of mathematics, vol. 87 , pp. 631–648. - James Ax and Simon Kochen. Diophantine problems over local fields III. Decidable fields. Annals of mathematics, vol. 83 , pp. 437–456. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (4):683-684.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  21
    Rabin Michael O.. Classes of models and sets of sentences with the intersection property. Actes du Colloque de Mathématiques réuni à Ciermont à l'occasion du Tricentenaire de la Mort de Biaise Pascal, 4–8 Juin 1962, Volume I, Introduction et logique mathématique, Annales de la Faculté des Sciences de l'Université de Ciermont, no. 7, Mathématiques, part 1, Imprimerie Louis–Jean, Gap 1962, pp. 39–53. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (3):413-413.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Review: A. Tarski, R. L. Vaught, Elementary (Arithmetical) Extensions. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131-131.
  50.  18
    Meserve B. E.. Decision methods for elementary algebra. The American mathematical monthly, vol. 62 , pp. 1–8.Abraham Robinson - 1957 - Journal of Symbolic Logic 22 (3):295-295.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 103