103 found
Order:
  1.  32
    Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - North-Holland.
  2.  63
    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   47 citations  
  3.  82
    The Metaphysics of the Calculus.Abraham Robinson - 1967 - Studies in Logic and the Foundations of Mathematics 47:28--46.
  4. On Predicates in Algebraically Closed Fields.Abraham Robinson - 1954 - Journal of Symbolic Logic 19 (2):103-114.
  5. Compactification of Groups and Rings and Nonstandard Analysis.Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (4):576-588.
  6.  11
    On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  7.  7
    Forcing in Model Theory.Abraham Robinson, Jon Barwise & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  8.  15
    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   13 citations  
  9.  25
    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  
  10.  6
    Thirty Years of Foundational Studies.Abraham Robinson - 1966 - Journal of Symbolic Logic 33 (1):111-112.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  11.  14
    Complete Theories.Abraham Robinson - 1956 - North-Holland.
  12.  21
    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.
  13.  15
    From a Formalist's Point of View.Abraham Robinson - 1969 - Dialectica 23 (1):45-49.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  14.  19
    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  
  15.  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   6 citations  
  16. 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   11 citations  
  17.  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.
  18.  15
    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.
  19.  15
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  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   6 citations  
  21.  14
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  35
    Metamathematical Problems.Abraham Robinson - 1973 - Journal of Symbolic Logic 38 (3):500-516.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  13
    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  
  24.  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.
  25.  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  
  26.  42
    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.
  27.  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 (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  10
    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.
  29.  30
    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  
  30.  39
    On the Notion of Algebraic Closedness for Noncommutative Groups and Fields.Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (3):441-444.
  31.  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.
  32.  16
    Completeness and Persistence in the Theory of Models.Abraham Robinson - 1956 - Mathematical Logic Quarterly 2 (1‐4):15-26.
  33.  3
    Scientific Inference.Abraham Robinson - 1957 - Journal of Symbolic Logic 29 (4):194-195.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  10
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  12
    Review: B. E. Meserve, Decision Methods for Elementary Algebra. [REVIEW]Abraham Robinson - 1957 - Journal of Symbolic Logic 22 (3):295-295.
  36.  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  
  37.  17
    Review: J. Heidema, A. P. J. Van der Walt, Contributions to the Metamathematical Theory of Ideals. I: Domains with Dense Kernel; J. Heidema, Contributions to the Metamathematical Theory of Ideals. II: Metamathematical Prime Ideals and Radicals. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (1):158-159.
  38.  17
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  16
    Staples John. A Non-Standard Representation of Boolean Algebras, and Applications. The Bulletin of the London Mathematical Society, Vol. 1 , Pp. 315–320. [REVIEW]Abraham Robinson - 1973 - Journal of Symbolic Logic 38 (2):337-337.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  15
    Ajdukiewicz Kazimierz. Three Concepts of Definition. Logique Et Analyse , N.S. Vol. 1 , Pp. 115–126.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (1):90-90.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  41.  12
    On the Application of Symbolic Logic to Algebra.Abraham Robinson & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (2):182-182.
  42. Abraham Robinson: The Creation of Nonstandard Analysis: A Personal and Mathematical Odyssey.Abraham Robinson & Joseph Warren Dauben - 1996 - British Journal for the Philosophy of Science 47 (1):137-140.
  43.  11
    Note on a Problem of L. Henkin.Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (1):33-35.
  44.  5
    Review: C. C. Chang, On Unions of Chains of Models. [REVIEW]Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):169-169.
  45.  18
    Review: Kurt Bing, On Arithmetical Classes Not Closed Under Direct Union. [REVIEW]Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (3):321-321.
  46.  12
    A. Newell, J. C. Shaw, and H. A. Simon. Empirical Explorations of the Logic Theory Machine: A Case Study in Heuristic. Proceedings of the Western Joint Computer Conference, Los Angeles1957, Pp. 218–230. - Bryan Cowan, G. H. McClurg, A. Newell, P. E. Tanner, L. D. Yarbrough. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, P. 230. [REVIEW]Abraham Robinson - 1962 - Journal of Symbolic Logic 27 (1):103-103.
  47. 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  
  48. Review: A. Tarski, R. L. Vaught, Elementary (Arithmetical) Extensions. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131-131.
  49.  11
    Woodger J. H.. Formalization in Biology. Logique Et Analyse , N.S. Vol. 1 , Pp. 97–104.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (1):89-89.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50. Théorie Métamathématique des Idéaux.ABRAHAM ROBINSON - 1955 - Journal of Symbolic Logic 20 (3):279-281.
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 103