Abraham Robinson's Notes: On a relatively effective procedure getting all quasi-integer solutions of diophantine equations with positive genus

Annals of the Japan Association for Philosophy of Science 7 (3):111-115 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.7.111

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hilbert's 10th Problem for solutions in a subring of Q.Agnieszka Peszek & Apoloniusz Tyszka - 2019 - Scientific Annals of Computer Science 29 (1):101-111.
Denying Infinity: Pragmatism in Abraham Robinson’s Philosophy of Mathematics.Robinson Erhardt - forthcoming - History and Philosophy of Logic:1-19.
On a Paleontological Definition of the Genus Homo.Jean Frisch - 1965 - Annals of the Japan Association for Philosophy of Science 2 (5):253-257.
Intuitionistic Version of the Los-Tarski-Robinson Theorem.Kokio Shirai - 1975 - Annals of the Japan Association for Philosophy of Science 4 (5):323-332.
Abraham Robinson 1918-1974.G. D. Mostow - 1973 - Proceedings and Addresses of the American Philosophical Association 47:227 - 229.
Martin Davis, Hilary Putnam, and Julia Robinson. The decision problem for exponential diophantine equations. Annals of mathematics, second series vol. 74 , pp. 425–436. [REVIEW]Hartley Rogers - 1970 - Journal of Symbolic Logic 35 (1):151-152.
Reviews. Selected papers of Abraham Robinson. Volume 1. Model theory and algebra. Edited and with an introduction by H. J. Keisler. Yale University Press, New Haven and London 1979, xxxvii + 694 pp. George B. Selioman. Biography of Abraham Robinson, pp. xiii–xxxii. H. J. Keisler. Introduction, pp. xxxiii–xxxvii. Abraham Robinson. On the application of symbolic logic to algebra, pp. 3–11. A reprint of XVIII 182. Abraham Robinson. Recent developments in model theory, pp. 12–31. A reprint of XL 269. Abraham Robinson. On the construction of models, pp. 32–42. A reprint of XL 506. Abraham Robinson, Metamathematical problems, pp. 43–59. , pp. 500–516.) Abraham Robinson. Model theory as a framework for algebra, pp. 60–83. Abraham Robinson. A result on consistency and its application to the theory of definition, pp. 87–98. A reprint of XXV 174. Abraham Robinson. Ordered structures and related concepts, pp. 99–104. A reprint of XXV 170. [REVIEW]John T. Baldwin - 1982 - Journal of Symbolic Logic 47 (1):197-203.
A direct method for simulating partial recursive functions by Diophantine equations.Yuri Matiyasevich - 1994 - Annals of Pure and Applied Logic 67 (1-3):325-348.
Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 , pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 317–340. - Abraham Robinson. Forcing in model theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 245–250. [REVIEW]H. Jerome Keisler - 1975 - Journal of Symbolic Logic 40 (4):633-634.
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.

Analytics

Added to PP
2014-04-07

Downloads
62 (#343,060)

6 months
2 (#1,685,182)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references