Order: Listing date First author Impact Pub year Relevance Downloads
Order
Introduction to Model Theory and to the Metamathematics of Algebra. Abraham Robinson - 1963 - North-Holland. details
Introduction to Model Theory and the Metamathematics of Algebra. Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56. details
The Metaphysics of the Calculus. Abraham Robinson - 1967 - Studies in Logic and the Foundations of Mathematics 47:28--46. details
On the Metamathematics of Algebra. Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207. details
Complete Theories. Abraham Robinson - 1956 - North-Holland. details
Outlines of a Formalist Philosophy of Mathematics. Haskell B. Curry & Abraham Robinson - 1952 - British Journal for the Philosophy of Science 3 (10):197-200. details
A Result on Consistency and Its Application to the Theory of Definition. Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):174-174. details
Thirty Years of Foundational Studies. Abraham Robinson - 1966 - Journal of Symbolic Logic 33 (1):111-112. details
Forcing in Model Theory. Abraham Robinson , Jon Barwise & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (4):633-634. details
From a formalist's point of view. Abraham Robinson - 1969 - Dialectica 23 (1):45-49. details
Nonarchimedean Fields and Asymptotic Expansions. A. H. Lightstone & Abraham Robinson - 1981 - Journal of Symbolic Logic 46 (1):163-164. details
On Languages which are Based on Non-Standard Arithmetic. Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (3):516-517. details
Metamathematical problems. Abraham Robinson - 1973 - Journal of Symbolic Logic 38 (3):500-516. details
On predicates in algebraically closed fields. Abraham Robinson - 1954 - Journal of Symbolic Logic 19 (2):103-114. details
Compactification of groups and rings and nonstandard analysis. Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (4):576-588. details
Théorie Métamathématique des Idéaux. ABRAHAM ROBINSON - 1955 - Journal of Symbolic Logic 20 (3):279-281. details
Completeness and persistence in the theory of models. Abraham Robinson - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (1-4):15-26. details
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. details
On the notion of algebraic closedness for noncommutative groups and fields. Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (3):441-444. details
Scientific Inference. Abraham Robinson - 1957 - Journal of Symbolic Logic 29 (4):194-195. details
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. details
Completeness and persistence in the theory of models. Abraham Robinson - 1956 - Mathematical Logic Quarterly 2 (1‐4):15-26. details
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. details
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. details
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. details
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. details
Relative model‐completeness and the elimination of quantifiers1. Abraham Robinson - 1958 - Dialectica 12 (3‐4):394-407. details
Contributions to Non-Standard Analysis. W. A. J. Luxemburg & Abraham Robinson - 1972 - North-Holland Pub. Co. details
An Examination of a Decision Procedure. Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166. details
Completeness and Persistence in the Theory of Models. Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):170-171. details
Ordered Structures and Related Concepts. Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):170-170. details
Proving a Theorem. Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (4):522-522. details
Review: Andrzej Mostowski, Thirty Years of Foundational Studies. [REVIEW] Abraham Robinson - 1968 - Journal of Symbolic Logic 33 (1):111-112. details
Review: Harold Jeffreys, Scientific Inference. [REVIEW] Abraham Robinson - 1964 - Journal of Symbolic Logic 29 (4):194-195. details
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. details
Review: R. L. Vaught, Elementary Classes Closed under Descending Intersection. [REVIEW] Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (3):413-414. details
Some Problems of Definability in the Lower Predicate Calculus. Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):171-171. details
Théorie métamathématique des idéaux. ABRAHAM ROBINSON - 1956 - British Journal for the Philosophy of Science 7 (26):161-173. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
Review: A. Tarski, R. L. Vaught, Elementary (Arithmetical) Extensions. [REVIEW] Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131-131. details
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. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed