103 found
Order:
  1.  37
    Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - North-Holland.
  2.  85
    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   51 citations  
  3.  90
    The Metaphysics of the Calculus.Abraham Robinson - 1967 - Studies in Logic and the Foundations of Mathematics 47:28--46.
  4.  16
    Complete Theories.Abraham Robinson - 1956 - North-Holland.
  5.  12
    On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  6.  18
    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  
  7.  8
    Thirty Years of Foundational Studies.Abraham Robinson - 1966 - Journal of Symbolic Logic 33 (1):111-112.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  7
    Forcing in Model Theory.Abraham Robinson, Jon Barwise & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  9.  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  
  10.  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   7 citations  
  11. On Predicates in Algebraically Closed Fields.Abraham Robinson - 1954 - Journal of Symbolic Logic 19 (2):103-114.
  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   6 citations  
  13. Compactification of Groups and Rings and Nonstandard Analysis.Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (4):576-588.
  14.  35
    Metamathematical Problems.Abraham Robinson - 1973 - Journal of Symbolic Logic 38 (3):500-516.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  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  
  16.  39
    On the Notion of Algebraic Closedness for Noncommutative Groups and Fields.Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (3):441-444.
  17.  3
    Scientific Inference.Abraham Robinson - 1957 - Journal of Symbolic Logic 29 (4):194-195.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  16
    Completeness and Persistence in the Theory of Models.Abraham Robinson - 1956 - Mathematical Logic Quarterly 2 (1‐4):15-26.
  19.  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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  14
    On the Application of Symbolic Logic to Algebra.Abraham Robinson & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (2):182-182.
  21.  14
    Note on a Problem of L. Henkin.Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (1):33-35.
  22.  7
    Les Rapports Entre le Calcul Déductif Et l'Interprétation Sémantique d'Un Système Axiomatique.Abraham Robinson, E. W. Beth & L. E. J. Brouwer - 1955 - Journal of Symbolic Logic 20 (2):185-186.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  5
    Formalization in Biology.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (1):89-89.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  4
    Espace de Hilbert Et Intuitionnisme.A. Heyting, Paul Bernays, H. Hermes, Ingebrigt Johansson & Abraham Robinson - 1958 - Journal of Symbolic Logic 23 (2):228-229.
  25.  25
    Book Reviews. [REVIEW]Y. Bar-Hillel, Robert L. Causey, Abraham Robinson, Yaacov Choueka & Baruch A. Brody - 1974 - Philosophia 4 (1):203-221.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  3
    Les Fondements Logiques des Mathématiques.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (3):269-269.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  3
    Allocution D'Ouverture.L. E. J. Brouwer & Abraham Robinson - 1955 - Journal of Symbolic Logic 20 (2):186-186.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. 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   12 citations  
  29.  1
    Sur le Concept d'Axiomatisabilite.H. Hermes, Paul Bernays & Abraham Robinson - 1957 - Journal of Symbolic Logic 22 (1):83-83.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Contributions to Non-Standard Analysis.W. A. J. Luxemburg & Abraham Robinson - 1972 - North-Holland Pub. Co.
     
    Export citation  
     
    Bookmark  
  31. An Examination of a Decision Procedure.Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  6
    Algebraic Function Fields and Non-Standard Arithmetic.Abraham Robinson, W. A. J. Luxemburg & A. Robinson - 1974 - Journal of Symbolic Logic 39 (2):339-340.
  33.  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  
  34.  4
    Ax James. On the Undecidability of Power Series Fields. Proceedings of the American Mathematical Society, Vol. 16 , P. 846. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (4):684-684.
  35.  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  
  36.  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.
  37. 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.
  38.  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  
  39.  4
    E. W. Beth. Les Fondements Logiques des Mathématiques. Deuxième Édition Revue Et Augmentée. Collection de Logique Mathématique, A I. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1955, XV + 241 Pp. [REVIEW]Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (3):269-269.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  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.
  41. Completeness and Persistence in the Theory of Models.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):170-171.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  8
    Chang C. C.. On Unions of Chains of Models. Proceedings of the American Mathematical Society, Vol. 10 , Pp. 120–127.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):169-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  4
    K. L. De Bouvère. A Mathematical Characterization of Explicit Definability. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 66 , Pp. 264–274; Also Indagationes Mathematicae, Vol. 25 , Pp. 264–274. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (4):687-687.
  44.  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  
  45.  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.
  46.  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  
  47.  5
    N. D. Gautam. The Validity of Equations of Complex Algebras. Archiv Für Mathematische Logik Und Grundlagenforschung, Vol. 3 , Pp. 117–124. [REVIEW]Abraham Robinson - 1958 - Journal of Symbolic Logic 23 (2):224-224.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  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.
  49.  5
    Harold Jeffreys. Scientific Inference. Second Edition of VII 175. Cambridge University Press, Cambridge1957, Viii + 236 Pp. [REVIEW]Abraham Robinson - 1964 - Journal of Symbolic Logic 29 (4):194-195.
  50.  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  
1 — 50 / 103