104 found
Order:
  1.  45
    Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
  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   58 citations  
  3.  19
    On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  4. 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  
  5. 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   16 citations  
  6.  31
    Complete Theories.Abraham Robinson - 1977 - North-Holland.
  7.  37
    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.  29
    Forcing in Model Theory.Abraham Robinson, Jon Barwise & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  9.  13
    Thirty Years of Foundational Studies.Abraham Robinson - 1966 - Journal of Symbolic Logic 33 (1):111-112.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  14
    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  
  11.  17
    From a formalist's point of view.Abraham Robinson - 1969 - Dialectica 23 (1):45-49.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  12.  9
    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   8 citations  
  13.  40
    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.
    Let G be a separated (Hausdorff) topological group and let *G be an enlargement of G (see [8]). Thus, *G (i) possesses the same formal properties as G in the sense explained in [8], and (ii) every set of subsets {Aν} of G with the finite intersection property—i.e. such that every nonempty finite subset of {Aν} has a nonempty intersection—satisfies ∩*Aν ≠ ø, where the *Aν are the extensions of the Aν in *G, respectively.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  6
    Scientific Inference.Abraham Robinson - 1957 - Journal of Symbolic Logic 29 (4):194-195.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  33
    Completeness and persistence in the theory of models.Abraham Robinson - 1956 - Mathematical Logic Quarterly 2 (1-4):15-26.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Théorie Métamathématique des Idéaux.ABRAHAM ROBINSON - 1955 - Journal of Symbolic Logic 20 (3):279-281.
     
    Export citation  
     
    Bookmark   3 citations  
  19. 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.
  20.  18
    Completeness and persistence in the theory of models.Abraham Robinson - 1956 - Mathematical Logic Quarterly 2 (1‐4):15-26.
  21. 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. pp. 207--217.
     
    Export citation  
     
    Bookmark   2 citations  
  22.  47
    On the notion of algebraic closedness for noncommutative groups and fields.Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (3):441-444.
  23.  15
    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  
  24.  7
    Les Fondements Logiques des Mathématiques.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (3):269-269.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  7
    Allocution d'ouverture.L. E. J. Brouwer & Abraham Robinson - 1955 - Journal of Symbolic Logic 20 (2):186-186.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  4
    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  
  27.  8
    Espace de Hilbert et Intuitionnisme.A. Heyting, Paul Bernays, H. Hermes, Ingebrigt Johansson & Abraham Robinson - 1958 - Journal of Symbolic Logic 23 (2):228-229.
  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.  19
    Algebraic Function Fields and Non-Standard Arithmetic.Abraham Robinson, W. A. J. Luxemburg & A. Robinson - 1974 - Journal of Symbolic Logic 39 (2):339-340.
  31.  16
    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  
  32.  59
    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.
  33. Completeness and Persistence in the Theory of Models.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):170-171.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  9
    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  
  35.  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  
  36.  30
    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.
  37.  10
    L'Application de la Logique Formelle aux Mathématiques.Abraham Robinson, G. Kurepa, G. Kreisel & A. Robinson - 1958 - Journal of Symbolic Logic 23 (2):218-219.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  16
    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.
  39.  15
    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  
  40.  65
    Note on a problem of L. Henkin.Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (1):33-35.
  41.  5
    On Predicates in Algebraically Closed Fields.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):169-170.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  2
    Ordered Structures and Related Concepts.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):170-170.
  43.  20
    On the Application of Symbolic Logic to Algebra.Abraham Robinson & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (2):182-182.
  44. Proving a Theorem.Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (4):522-522.
  45.  12
    Ribeiro Hugo. The notion of universal completeness. Portugaliae mathematica, vol. 15 no. 3 , pp. 83–86.Abraham Robinson - 1962 - Journal of Symbolic Logic 27 (1):97-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  5
    Relative Model-Completeness and the Elmination of Quantifiers.Abraham Robinson - 1962 - Journal of Symbolic Logic 27 (2):229-230.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  30
    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  
  48.  2
    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  
  49. 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  
  50. Théorie métamathématique des idéaux.ABRAHAM ROBINSON - 1955 - Studia Logica 9:257-258.
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 104