TABLE OF CONTENTS
Descriptive Summary
Scope and Contents
Restrictions
Index Terms
Related Material
Administrative Information
Description of Series
Writings by Robinson [organized chronologically by
publication number]:
Writings by others:
Unidentified authors:
Reprint collection, ca. 1930s-1970s and undated:
Monograph collection:
|
A Guide to the Abraham Robinson Papers, 1901,
1926-1976
|
|
|
|
|
Creator |
Robinson, Abraham,
|
|
Title |
Abraham Robinson
Papers |
|
Dates: |
1901, 1926-1976 and undated |
|
Abstract |
The Abraham Robinson
Papers consist of photocopies, reprints, manuscripts, mimeographed drafts,
monographs, reports, theses, dissertations, and periodicals. Topics covered
include symbolic and mathematical logic, algebra, non-standard analysis, model
theory, philosophy of mathematics, and applied mathematics. |
|
Accession No. |
86-26 |
|
Extent |
5 ft., 10 in. |
|
Language |
English. |
|
Repository: |
Dolph Briscoe Center for American
History, The University of Texas at
Austin |
Abraham Robinson was born in Germany in 1918. He was studying at the
Sorbonne in 1940 when he (a Jew) went to England to escape Hitler's
encroachment on France. While in England, he joined the Free French Air Force,
but was sent to the Royal Aircraft Establishment at Farnborough so that his
mathematical skills could be put to use for the war effort. After the war, he
earned a Master of Science from Hebrew University in 1946 and a Ph. D. at the
University of London in 1949. He taught different subjects at several
prestigious universities, including aerodynamics at the College of Aerodynamics
at Cranfield, mathematics at the University of Toronto, mathematics at Hebrew
University in Jerusalem, mathematics and philosophy at the University of
California, Los Angeles, and mathematics at Yale University. He died from
pancreatic cancer in 1974, at the age of 56.
His interests included
physics, pure mathematics, fluid mechanics, and relations between logic and
mathematics. He contributed to the development of Model Theory and is known for
inventing non-standard analysis.
Return to the Table of Contents
The Abraham Robinson Papers consist of photocopies, reprints,
manuscripts, mimeographed drafts, monographs, reports, theses, dissertations,
and periodicals. Topics covered include symbolic and mathematical logic,
algebra, non-standard analysis, model theory, philosophy of mathematics, and
applied mathematics.
Note on the reprint collection: Title pages of reprints and preprints
were copied and the originals were sent to the American Institute of
Mathematics in Palo Alto, California for cataloguing. Unique manuscripts were
kept in the reprint collection. Correspondence, notes, and other material were
separated from the reprints and brought together at the end of the “Reprint
Collection” series.
Note on the monograph collection: Title pages of
monographs were copied and the original books, technical reports or bound
theses/dissertations were separated to PCL Gifts for cataloguing in the
Physics-Mathematics-Astronomy library, or separation to another campus. Unbound
theses and manuscripts were discarded. Unique manuscripts and rare items were
kept in the collection.
Forms part of the Archives of American
Mathematics.
Return to the Table of Contents
Access Restrictions
Unrestricted access.
Use Restrictions
The majority of these papers are stored remotely at CDL. Advance notice required for retrieval.
Contact repository for retrieval.
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
Robinson, Abraham,
1918-1974 |
|
|
Hebrew University,
Jerusalem |
|
|
University of
London |
|
|
Model theory |
|
|
Non-standard
analysis |
|
|
Philosophy of mathematics and
science |
|
|
Symbolic and mathematical
logic |
|
|
Applied mathematics |
|
|
Algebra |
Return to the Table of Contents
|
|
|
|
Another collection of Abraham Robinson's personal papers are located at
the Yale University archives. |
Return to the Table of Contents
Abraham Robinson Papers, 1901, 1926-1976 and undated, Archives of
American Mathematics, Dolph Briscoe Center for American History, University of Texas at
Austin.
The materials in the Abraham Robinson Papers have not yet been arranged
and described, and date information is not available for the materials located
therein. This is reflected in the following box listing, and the lack of dates
does not indicate that materials are necessarily undated. Reprints are filed by
author or title if there is no obvious author. Monographs are filed similarly,
but there are a few monographs without clear authors or titles filed in box
20.
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Writings by Robinson [organized chronologically by
publication number]: |
| box |
| 86-26/1 |
|
|
Bibliography, [includes assigned publication numbers],
undated |
|
|
|
Numbers 1-25, [incomplete],
1939-1950 |
|
|
|
Numbers 26-50, [incomplete],
1950-1956 |
|
|
|
Numbers 51-75, [incomplete],
1957-1962 |
|
|
|
Numbers 76-90, [incomplete],
1962-1966 |
|
|
|
Numbers 91-105,
1967-1970 |
| box |
| 86-26/2 |
|
|
Numbers 106-122,
1971-1973 |
|
|
|
Numbers 123-134,
1973-1975 |
|
|
|
Unnumbered,
undated |
|
|
|
Manuscripts and drafts,
1971-1972 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Writings by others: |
| box |
| 86-26/2 |
|
|
Copies of published works,
[1926?], 1963-1976 and undated |
|
|
|
The New Scottish Book, Wrockaw
1946-1958, annotated [by Robinson?],
undated |
|
|
|
A. W. Tucker, bibliography on “New Patterns in
Mathematical Education,”
August 1957 |
|
|
|
“Set Theory and Logic II,” University of Houston, Spring
1969 and unidentified lecture notes, both by Dr. J. Schmidt,
1969 and undated |
|
|
|
Gerald E. Sacks, manuscript version of
Saturated Model Theory, page
129-325,
ca. 1972 |
|
|
|
Manuscripts,
undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Unidentified authors: |
| box |
| 86-26/2 |
|
|
Handwritten,
undated |
| box |
| 86-26/3 |
|
|
Manuscripts and drafts,
undated |
|
|
|
Bibliography on relevance logics,
undated |
|
|
|
Missing title: |
|
|
|
|
Various pieces,
undated |
|
|
|
|
Manuscript, page 1-505, “Chapter 1. Symbolic Logic…,”
undated |
|
|
|
|
Manuscript, page 1.2-3.53, “representing individual
light particles…,”
undated |
|
|
|
|
Manuscript, page I-7.13, “Preface (Vol. II)…,”
undated |
|
|
|
|
Manuscript, page 45-167, “Chapter II: Application of the
Fundamental Properties of Cohomology Modules…,"
undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Reprint collection, ca. 1930s-1970s and undated: |
| box |
| 86-26/4 |
|
|
Abian - Ax |
|
|
|
Babbitt - Barwise, and unidentified |
|
|
|
Batschelet - Bender |
|
|
|
Benioff - Beth |
|
|
|
Bewley - Bottenbruch |
|
|
|
Bowen - Butchart |
| box |
| 86-26/5 |
|
|
Cabannes - Chao-Tien, and unidentified |
|
|
|
Chao-Tien – Cole |
|
|
|
Collins – Cusin |
|
|
|
Dade – Dyson, and unidentified |
|
|
|
Eberle – Engeler, and unidentified |
|
|
|
Engeler – Evans |
|
|
|
Fagg – Feldman |
| box |
| 86-26/6 |
|
|
Felgner - Fraïssé |
|
|
|
Fraïssé - Freudenthal |
|
|
|
Fried – Friedman |
|
|
|
Friedman – Furth |
|
|
|
Gagliardo – Gautam, and unidentified |
|
|
|
Geiser – Glimm |
| box |
| 86-26/7 |
|
|
Glimm - Gonshor |
|
|
|
Gordon – Gurevic |
|
|
|
Haddard – Harper |
|
|
|
Harries – Hinman |
|
|
|
Hintikka – Hurd |
|
|
|
ICSU World of Science –
Iverson |
|
|
|
Jabotinsky – Juzuk, and unidentified |
| box |
| 86-26/8 |
|
|
Kaiser – Kasdan |
|
|
|
Kato – Komkov |
|
|
|
Komkov – Kreisel |
|
|
|
Kreisel –
Kyungpook Mathematical
Journal |
|
|
|
Labelle – Lang, and unidentified |
|
|
|
Langewiesche – Lighthill |
| box |
| 86-26/9 |
|
|
Lightstone – Luxemburg |
|
|
|
Luxemburg – Lyndon |
|
|
|
McCarthy – Macintyre, and unidentified |
|
|
|
Macintyre – Maschler |
|
|
|
Massey – Moody |
| box |
| 86-26/10 |
|
|
Morawetz – Moschovakis |
|
|
|
Moschovakis – Myhill |
|
|
|
Nador – Notre Dame Journal of Formal Logic |
|
|
|
Oberschelp – Ostrowski, and unidentified |
|
|
|
Pabion – Podewski, and unidentified |
|
|
|
Ponomarev – Puritz |
|
|
|
Rabin – Reineke, and unidentified |
| box |
| 86-26/11 |
|
|
Reineke – Robinson |
|
|
|
Robkin – Ryll-Nardzewski |
|
|
|
Sabbagh – Schmidt, and unidentified |
|
|
|
Schmidt |
|
|
|
Schmidt – Segal |
|
|
|
Segré – Sengupa |
| box |
| 86-26/12 |
|
|
Serre – Simmons |
|
|
|
Simmons – Szmielew |
|
|
|
Takahashi – Tamari, and unidentified |
|
|
|
Tarski – Tugué |
|
|
|
Uhl – Ursell |
|
|
|
Valentine – Vuckovic |
|
|
|
van der Waerden – Weispfenning, and
unidentified |
|
|
|
Weiss – Wyss |
| box |
| 86-26/13 |
|
|
Yaffe – Zubieta |
|
|
|
Correspondence, printed material and notes separated from
the reprint collection,
1949-1973 and undated |
|
|
|
Reviews and articles by Robinson, removed from reprint
collection |
| box |
| 4RM112 |
|
|
Photographs: |
|
|
|
|
Two black and white photographic prints removed from
reprint by L. A. Bokût, [Hoehmce, Smiznov and Lavzov{?} pictured],
1969 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Monograph collection: |
| box |
| 86-26/13 |
|
|
Conference proceedings,
1948-1968 and undated |
|
|
|
Serials [Note: some serials were filed in the reprint
collection],
1946-1974 |
|
|
|
Theses and dissertations, Bernstein – Wheeler,
1955-1973 and undated |
|
|
|
Monographs: |
|
|
|
|
Air Ministry – Valpola and unidentified,
1939-1970 and undated |
|
|
|
|
American Mathematical Society,
Lecture Notes Prepared in Conjunction with
the Summer Institute on Axiomatic Set Theory held at University of
California, Los Angeles, sponsored by the National Science Foundation under
grant GP-6698,
July 10 – August 4, 1967 |
|
|
|
|
Applied Logic Corporation, James H. Bennett, William B.
Easton, James R. Guard, David B. Loveman and Thomas H. Mott, Jr.,
Semi-Automated Mathematics: SAM
IV, Contract No. AF 19(628)-3250, Project No. 5632, Task No. 563205,
Scientific Report No. 3, prepared for Air Force Cambridge Research
Lobaratories, AFCRL 64-827,
October 15, 1964 |
|
|
|
|
Behrens, M.,
Analytic and Meromorphic Function in the
Open Unit Disk – A Nonstandard Approach, [typed manuscript],
undated |
| box |
| 86-26/14 |
|
|
|
Bernays, Paul,
Logical Calculus, Notes by Prof.
Bernays with assistance of Mr. F. A. Ficken, The Institute for Advanced Study,
1935-1936 |
|
|
|
|
Birkhoff, Garrett and Gian-Carlo Rota,
Lecture Notes on Ordinary Differential
Equations, revised for use at Harvard University and the Massachusetts
Institute of Technology, Ginn and Co., Part A and Part B,
1960-1961 |
|
|
|
|
British Intelligence Objectives Sub-Committee,
German Aircraft Industry –
Aeroelasticity, Final Report No. 12, Item No. 25, reported by A. R.
Collar, H. A. Jahn, A. Robinson, and E. G. Broadbent, BIOS Team No. 792, Target
No. 25/503,
undated |
|
|
|
|
Church, Alonzo,
Mathematical Logic, lectures by
Alonzo Church, notes by F. A. Ficken, H. G. Landau, H. Ruja, R. R. Singleton,
N. E. Steenrod, J. H. Sweer, F. J. Weyl, Princeton University,
October 1935-January 1936 |
|
|
|
|
College of Aeronautics Cranfield, “List of
Publications,” list of reports and notes,
March 1957 |
|
|
|
|
Dedekind, R.,
Ueber die Permutationen des Körpers aller
algebraischen Zahlen, and David Hilbert,
Ueber das Dirichlet’sche Princip,
Berlin, Weidmannsche Buchhandlung,
1901 |
|
|
|
|
Grünbaum, B.,
Extensions, Retractions and
Projections, The Hebrew University, The Department of Mathematics,
Technical Notes No. 2, Prepared under contract AF 61(052)-04, Jerusalem,
Israel,
January 1958 |
|
|
|
|
Kaiser, Klaus,
Über projective und quasi-universelle
Modellklassen, Habilitationsschrift am Fachbereich Mathematik der Technischen
Hochschule Darmstadt, Köln,
April 1973 |
|
|
|
|
Kober,
Dictionary of Conformal
Representations, Admiralty Computing Service, Department of Scientific
Research and Experiment, London, Ref. Nos. SRE/ACS 101 and 107, Parts one and
two,
1945 |
|
|
|
|
Massey, W. S.,
Introduction to Homology Theory,
Notes for Math 144 (a), Yale University, Department of Mathematics,
1968 |
|
|
|
|
Potthoff, Klaus,
Über Enderweiterungen von
Nichtstandardmodellen der Arithmetik und Anderer Strukturen, der
Mathematisch, Naturwissenschaftlichen Fakultät der
Christian-Albrechts-Universität als Habilitationsschrift für das Fach
Mathematik eingereicht,
undated |
|
|
|
|
Sacks, G. E.,
Saturated Model Theory, (rough
preliminary version), Massachusetts Institute of Technology, preparation
supported by NSF-GP-18728,
February 8, 1971 |
Return to the Table of Contents
|
