Alfred Tarski Papers, circa 1923-1985
Alfred Tarski Papers, circa 1923-1985
Collection number: BANC MSS 84/69 c
The Bancroft Library- Finding Aid Author(s):
- Finding Aid written by Lara Michels
- Finding Aid Encoded By:
- GenX
Scope and Content of Collection
Biographical/Bibliographical, circa 1923-1985 Series 1
UC bio-bibliographical forms, circa 1970-1976
Bibliography of Alfred Tarski, 1977
Materials from 1971 UC Berkeley symposium honoring Alfred Tarski, 1971
Personal documents and passports (American and Polish), circa 1928-1968
Newsclipping with photograph of Alfred Tarski, from The Daily Californian. June 29, 1971 BANC MSS 84/69 c
Alfred Tarski's savings account statement from the Community Savings and Loan Association. July 3, 1945 BANC MSS 84/69 c
Alfred Tarski's Affidavit of Support for his wife, son and daughter. July 6, 1945 BANC MSS 84/69 c
Alfred Tarski's Selective Service Registration Certificate. February 16, 1942 BANC MSS 84/69 c
Letter from the Regents of the University of California verifying Alfred Tarski's employment with the University. July 2, 1945 BANC MSS 84/69 c
Letter from Monroe E. Deutsch verifying Alfred Tarski's position as Associate Professor of Mathematics at the University of California, Berkeley. July 4, 1945 BANC MSS 84/69 c
Alfred Tarski's Polish passport. July 10, 1939 BANC MSS 84/69 c
Professional honors and activities, circa 1925-1968
Letter from the Polish Consulate stating that they cannot provide Alfred Tarski's documents due to the ongoing war. November 22,1939 BANC MSS 84/69 c
Personal souvenirs, including journal, circa 1923-1971
Dinner menu from Gdynia-America Shipping Lines. 1939 BANC MSS 84/69 c
War Manpower Commission Registration Card certifying that Alfred Tarski is registered with the National Roster of Scientific and Specialized Personnel. March 16, 1942 BANC MSS 84/69 c
Materials concerning S. Lesniewski (Tarski's teacher), undated
Notes toward Tarski's collected papers, undated
Recollections of Tarski (by others), circa 1985
Biographical articles on Tarski, circa 1970-1985
Letters concerning Tarski's application for a permanent visa, 1939
Letter of support from Horace M. Kallen to the American Consul concerning Alfred Tarski's application for a permanent visa. November 6, 1939 BANC MSS 84/69 c
Letter of support from Charles W. Morris to the American Consul concerning Alfred Tarski's application for a permanent visa. November 8, 1939 BANC MSS 84/69 c
Materials regarding Tarski's search for a permanent academic position, circa 1941-1942
In Memoriam program, 1983
Miscellaneous newspaper clippings on Tarski's career, circa 1939-1940
Certificates and honors, circa 1950-1980
Group photograph (and related documents) of attendees at 1929 mathematics conference in Warsaw and 1935 photograph of Tarski with Kurt Godel in Vienna, 1929, 1935, 1983
Alfred Tarski and Kurt Godel, Vienna. 1935 BANC MSS 84/69 c
Scope and Content Note
Correspondence, circa 1937-1983 Series 2
General correspondence, circa 1969-1982
ASL sponsorship of meeting in Chile, 1978
Anti-semitism against mathematicians, circa 1978-1980
Borsuk, Karol, circa 1958-1976
Center for Advanced Study in Behavioral Sciences (Stanford), 1964-1968
Donations of books, circa 1973-1976
Doner/Ehrenfeucht correspondence (Santa Barbara), 1975
Doner/Mostowski/Tarski correspondence, 1977-1978
Dyson, Verena M., 1962-1980
Eightieth birthday letters, 1981
Honors and awards, circa 1972-1977
Journal of Symbolic Logic, circa 1982
Jurzykowski Foundation award, circa 1966-1967
Kalinowski, J., circa 1967-1971
Kokoszynska, Maria, circa 1937-1975
Kolakowski, Leszek, circa 1969-1975
McKenzie, Ralph, circa 1967
McNulty, George, circa 1972-1977
Maddux, Roger, circa 1980
Makowiecka, Hanna, 1978-1979
Monk, Donald, 1980-1981
Morel, Anne (Davis), 1948-1961
Moszynska, Maria, 1977-1980
National Academy of Sciences, 1978
J. Ng, 1976-1979
Pacholski, Lessek, 1972-1979
Polish friends, letters from, circa 1971-1978
Political problems (Poland), circa 1968-1976
Political problems (USSR, Czechoslovakia), circa 1968-1976
Political and intellectual conflicts, circa 1974-1979
Preller, Anne, circa 1968-1981
Publications and archives, circa 1977-1981
Renshaw, Bruce, B., circa 1970
Rivetti Barbo, Francesca circa 1961-1978
Schechter, Michelle, circa 1976-1980
Shockley, William, circa 1966-1971
Swierczkowska, Helena, circa 1948-1978
Srzednicki, J., circa 1980
Szvserba, Leszek, circa 1978-1979
Universidade Estad. de Campinas, Brazil, circa 1975-1976
Universities, assorted, circa 1966-1980
University of Calgary, circa 1971-1982
Correspondence with publishers (from around the world), circa 1957-1981
Writings and Research, circa 1927-1979 Series 3
Undecidable Theories, circa 1950-1971
Cylindric Algebras, circa 1971
Logic, Semanitcs, Metamathematics (second edition), circa 1983
Equational Logic and Equational Theories of Algebras, circa 1968
Metamathematical discussion of some affine geometries (Szczerba and Tarski), circa 1982
Extended arithmetic of ordinal numbers (Doner and Tarski), circa 1982
Truth and Proof, circa 1966-1969
A simplified formalization of predicate logic with identity (manuscript), undated
Theorems on existence of successor of cardinals, and the axiom of choice (manuscript), undated
The elementary theory of well ordering (manuscript), undated
Proof of principle of recursive definitions (manuscript by Reinhardt and Tarski), undated
Refinement properites for relational structures (manuscript and reprint), circa 1964
Equational theories (manuscript), circa 1967
Conditions implying the representability of relation algebras (manuscript and notes for paper by Maddux and Tarski), circa 1967
Relation algebras (lecture), 1975
On the deductive method (copy translated by John Corcoran), undated
Cylindric set algebras (photocopy of typescript), circa 1981
A summary of the address to be given by Alfred Tarski at the Conference on The Problems of Mathematics (Princeton), 1946
An axiomatic approach to set theory (manuscript by Montague, Scott, and Tarski), undated
Materials for the volume on set theory, undated
Materials for Cardinal Algegras, circa 1955
Materials toward Collected Papers, circa 1950-1980
Set Theory: Lectures by A. Tarski; notes by J.K. and C.C. Elgot (manuscript), circa 1950-1980
Draft of article on theory of set fields, undated
Completeness of real algebra (old draft), undated
Arithmetical classes, undated
Sur la Theorie des Modeles (CNRS colloquium), 1955
Some problems and results relevant to the foundations of set theory, 1960
American Mathematical Society abstracts, 1960
The completeness of elementary algebra and geometry, 1940, 1967
Selection of fundamental notions for theory of real numbers (photocopy of handwritten manuscript), undated
The least cardinality of equational bases for theories of groups and rings, part I (photocopy of handwritten manuscript), undated
Equational theories with various sets (photocopy of handwritten manuscript), undated
What are logical notions? (lecture), 1966
Theory of set fields and its applications (photocopy of manuscript of article), undated
The decision problem in Boolean algebra (photocopy of manuscript of article), undated
Theory of real numbers (manuscript of speech given before the Berkeley Logic Colloquium), 1978
An elementary theory of well-ordering (Berkeley Logic Colloquium; by Tarski, Doner, and Mostowski), 1978
What is elementary geometry? (symposium paper), 1958
Elementary (arithmetical) extensions (Summer Institute of Symbolic Logic paper), 1957
The sentential calculus with infinitely long expressions (Summer Institute of Symbolic Logic paper), 1957
Remarks on predicate logic with infinitely long expressions (Summer Institute of Symbolic Logic paper), 1957
Introductory remarks on the theory of models (Summer Institute of Symbolic Logic paper), 1957
Independent recursive axiomatizability (Summer Institute of Symbolic Logic paper), 1957
Cylindrical algebras (Summer Institute of Symbolic Logic paper), 1957
Concerning the degree of equivalence of polygons (two papers by Alfred Tarski and one paper by Henryk Moese), 1950
Some methodological investigations regarding the defineability of concepts, undated
A decision method for elementary algebra and geometry, 1951
An extended arithmetic of ordinal numbers (Doner and Tarski; System Development Corporation), 1967
Expository lectures on mathematics, undated
Four speeches and notes on mathematics, circa 1955-1956
What are logical notions? (Bedford College, London), 1966
Reprints of Tarski's articles (in chronological order), 1927-1979, undated
Assorted articles published in journals and magazines, 1937-1977
Writings by others (some with Tarski's annotation/notes/correspondence), circa 1930-1970 Series 4
Gebhard Fuhrken (paper on set theory), 1966
Verena Huber Dyson (correspondence and manuscript of Symmetric Groups and the Open Sentence Problem), 1980
Arthur L. and Jean E. Rubin (The Cardinality of the Set of the Dedekind Finite Cardinals in Fraenkel-Mostowski Models), circa 1965
W. Marek (The Foundations of mathematics in Poland after World War II), circa 1977
Jan Mycielski (Finitely additive invariant measures III), circa 1978
Michael Kwatinetz (thesis with AT's annotations), circa 1980
W.P. Tagarinow and L.E. Maistrow (Against Idealism in Mathematical Logic), 1951
Wolfram Schwabhauser, 1951
R. Risch, 1966
Dana Scott, undated
Don Pigozzi (Draft on universal equational theories and varieties of algebras), undated
Lou v.d. Vries (manuscrip of Exponential rings and exponential functions), undated
Stanley Wagon (Invariance properties of finitely additive measures...and Circling the wagon in the 20th century), undated
George F. McNulty (The decision problem for equational bases of algebras), undated
L. W. Szczerba and Alexander Prestel, undated
R. Freese and R. McKenzie (Residually small varieties with modular congruence lattices), undated
Notes of Richard Montague (an axiomatic approach; made with A. Tarski), undated
A. P. Morse (Fixed sets and bipartitions), undated
Jaroslav Jezek (manuscript of The lattice of equational theories), undated
Self Reference with Negative Types (A.P. Hiller and J. Zimbarg, Sb.), 1981
Thomas Frayne (copy of manuscript) undated
Drafts of articles and books sent to Tarski, circa 1960-1967
Miscellaneous articles and reprints by others, circa 1946-1980
Teaching, circa 1946-1980 Series 5
Math 290: Algebraic Logic (course notes and seminar presentations), circa 1946-1980
Math 290: Algebraic Logic (course notes and seminar presentations), 1964
Math 245A-B (notebooks), undated
General theory of algebraic structures (seminar reports), 1971-1972
Math 235A: Set Theory (course notes and problem sets), undated
Math 290: Metamathematics of algebra (seminar notes), 1966
Math 290: Equational logic (seminar reports, correspondence, relevant reprints), 1968-1969
Math 290: Foundations of math (seminar reports, notes), 1960-1962
Math 290 (seminar reports), 1962-1963
Reprints, papers related to the general theory of algebras, including 1966 seminar reports, 1966
Equational logic (letter from Judith Ng and results of Joel Karnofsky), 1966
Math 290: Direct products of algebraic systems (seminar reports, notes, drafts, correspondence), 1971-1972
Math 290: Relation algebras (seminar reports, notes, drafts, correspondence), 1969-1970
Math 290: General theory of algebras (Chile) (seminar notes), 1974-1975
Notes for a geometry course, undated
Course in metamathematics, undated
Math 101A: Notes and problem sets by Louise Chin, 1943
Notes from course on axiomatic geometry (unknown hand), undated
Tarski's doctoral students (programs for defense of dissertation), 1946-1957
Final examination questions, circa 1945-1975
Miscellaneous teaching materials, undated
Projects and Grants, circa 1946-1970 Series 6
Navy contracts, 1946-1954
National Science Foundation grant files, circa 1952-1970
National Science Foundation project reports and other materials, circa 1952-1970
Decision method for elementary algebra and geometry (Rand report), 1948
Professional Organizations and Events, circa 1954-1971 Series 7
Institute for Basic Research, circa 1954-1960
International Union of the History and Philosophy of Science, circa 1957-1971
Summer Institute in Logic (Berkeley), 1957
Association for Symbolic Logic (Berkeley), 1957
Symposium on Axiomatic Method (Berkeley), 1957-1958
UC Berkeley, Group in Logic and Methodology of Science, 1973, 1981
Conference on Universal Algebras (Oberwolflach), 1971
Notes and Miscellany, circa 1946-1981 Series 8
Notebooks, undated
Notes on the foundations of Euclidean geometry, undated
Notes on the foundations of Boylai-Lobaczerski geometry, undated
Notes and other materials on essentially undecidable theories, interoperability of theories, undated
Notes and other materials on the foundations of geometry, undated
Notes, assorted, undated
Materials for the general theory of algebra, exercises and problems, undated
Notes on infinitary logics, undated
Notes on paradoxical properties of point sets/abstract problem of measure, undated
Notes on Horn sentences and reduced products in infinity logics, undated
Materials on the elementary theory of Boolean algebra, undated
Unpublished results in set theory related to the results ot Specker..., undated
Reviews of Tarski's works, circa 1950-1975
Obituary for Boleskaw Sobocinski (annoted by Tarski), 1981
UC faculty matters, circa 1974-1975>
Campus travel materials, circa 1960-1966
Notes and materials on Jonsson algebras, circa 1960-1966
Chapter from book by Francesca Rivetti-Barbo, circa 1981
Flyers and announcements for lectures given by Alfred Tarski, circa 1946-1960