# Finding Aid to the Alfred Tarski papers, circa 1923-1985

## Finding Aid to the Alfred Tarski papers, circa 1923-1985

### Collection Number: BANC MSS 84/69 c

The Bancroft LibraryUniversity of California, Berkeley

Berkeley, California

- Finding Aid Written By:
- Lara Michels
- Date Completed:
- December 2012

**Collection Title:**Alfred Tarski papers

**Date (inclusive):**circa 1923-1985

**Collection Number:**BANC MSS 84/69 c

**Creators :**Tarski, Alfred

**Extent:**Number of containers: 12 cartons, 2 boxes, 1 oversize folder (linear feet: 15.8)

**Repository:**The Bancroft Library

**Abstract:**Papers of Alfred Tarski (1902-1983), renowned professor of mathematics and logic at the University of California, Berkeley.

**Languages Represented:**Collection materials are in English,and Polish.

**Physical Location:**Many of the Bancroft Library collections are stored offsite and advance notice may be required for use. For current information on the location of these materials, please consult the Library's online catalog.

**
Scope and Content of Collection
**

# Container List

Series 1
**Biographical/Bibliographical, **
**circa 1923-1985**

**Physical Description:**carton 1, folder 1-16; oversize folder 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**

**Professional honors and activities, **
**circa 1925-1968**

**Personal souvenirs, including journal, **
**circa 1923-1971**

**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**

**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**

Series 2
**Correspondence, **
**circa 1937-1983**

**Physical Description:**carton 1, folder 17-40; carton 2, folder 1-65

**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 **

Series 3
**Writings and Research, **
**circa 1927-1979**

**Physical Description:**carton 2, folder 66-67; box 2, folder 2-8; carton 3-6

**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**

Series 4
**Writings by others (some with Tarski's annotation/notes/correspondence), **
**circa 1930-1970**

**Physical Description:**carton 7, folder 1-26; box 2, folder 1

**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**

Series 5
**Teaching, **
**circa 1946-1980**

**Physical Description:**carton 7, folder 27-38; carton 8

**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**

Series 6
**Projects and Grants, **
**circa 1946-1970**

**Physical Description:**carton 9; carton 10, folder 1-15

**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**

Series 7
**Professional Organizations and Events, **
**circa 1954-1971**

**Physical Description:**carton 10, folder 16-26; carton 11; carton 12, folder 1-34

**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**

Series 8
**Notes and Miscellany, **
**circa 1946-1981**

**Physical Description:**carton 12, folder 35-36; box 1; oversize folder 1

**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**