Robinson Abraham. Note on a problem of L. Henkin

Journal of Symbolic Logic 27 (1):96-96 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963711

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

Review: Abraham Robinson, Note on a Problem of L. Henkin. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
Note on a problem of L. Henkin.Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (1):33-35.
Review: Abraham Robinson, Les Rapports Entre le Calcul Deductif et l'Interpretation Semantique d'un Systeme Axiomatique; E. W. Beth, L. E. J. Brouwer, Abraham Robinson, Discussion. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):185-186.
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.
Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):205-207.
Review: Leon Henkin, G. Kreisel, Sums of Squares. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-129.
Review: Leon Henkin, Mathematical Foundations for Mathematics. [REVIEW]Abraham Robinson - 1974 - Journal of Symbolic Logic 39 (2):333-333.
Review: A. Chatelet, Allocution d'ouverture; L. E. J. Brouwer, Discours final; Abraham Robinson, On Axiomatic Systems which Possess Finite Models. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186-186.
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.
Robinson Abraham. On the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1951, IX + 195 pp. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):205-207.
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.
Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 73–74. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):185-186.
Kreisel G.. On a problem of Henkin's. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , pp. 405–406; also Indagationes mathematicae, vol. 15 , pp. 405–406. [REVIEW]Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220.
Review: Abraham Robinson, Proving a Theorem (as Done by Man, Logician, or Machine). [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):522-522.
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.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,062,297)

6 months
2 (#1,240,909)

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