Collection Guide

Collection Title:

Collection Number:

Get Items:

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

BANC MSS 84/69 c

No online items

Search this collection

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

Carton 1, Folder 1

**UC bio-bibliographical forms, **
**circa 1970-1976**

Carton 1, Folder 2

**Bibliography of Alfred Tarski, **
**1977**

Carton 1, Folder 3

**Materials from 1971 UC Berkeley symposium honoring Alfred Tarski, **
**1971**

Carton 1, Folder 4-5

**Personal documents and passports (American and Polish), **
**circa 1928-1968**

Carton 1, Folder 6, Oversize folder 1

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

Carton 1, Folder 7

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

Carton 1, Folder 8

**Materials concerning S. Lesniewski (Tarski's teacher), **
**undated**

Carton 1, Folder 9

**Notes toward Tarski's collected papers, **
**undated**

Carton 1, Folder 10

**Recollections of Tarski (by others), **
**circa 1985**

Carton 1, Folder 11

**Biographical articles on Tarski, **
**circa 1970-1985**

Carton 1, Folder 12

**Letters concerning Tarski's application for a permanent visa, **
**1939**

Carton 1, Folder 13

**Materials regarding Tarski's search for a permanent academic position, **
**circa 1941-1942**

Carton 1, Folder 14

**In Memoriam program, **
**1983**

Carton 1, Folder 15

**Miscellaneous newspaper clippings on Tarski's career, **
**circa 1939-1940**

Oversize folder 1

**Certificates and honors, **
**circa 1950-1980**

Carton 1, Folder 16

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

Carton 1, Folder 17-27

**General correspondence, **
**circa 1969-1982 **

Carton 1, Folder 28

**ASL sponsorship of meeting in Chile, **
**1978 **

Carton 1, Folder 29

**Anti-semitism against mathematicians, **
**circa 1978-1980 **

Carton 1, Folder 30

**Borsuk, Karol, **
**circa 1958-1976 **

Carton 1, Folder 31

**Center for Advanced Study in Behavioral Sciences (Stanford), **
**1964-1968**

Carton 1, Folder 32

**Donations of books, **
**circa 1973-1976 **

Carton 1, Folder 33

**Doner/Ehrenfeucht correspondence (Santa Barbara), **
**1975 **

Carton 1, Folder 34

**Doner/Mostowski/Tarski correspondence, **
**1977-1978 **

Carton 1, Folder 35-37

**Dyson, Verena M., **
**1962-1980 **

Carton 1, Folder 38

**Eightieth birthday letters, **
**1981 **

Carton 1, Folder 39-40

**Honors and awards, **
**circa 1972-1977 **

Carton 2, Folder 1

**Journal of Symbolic Logic, **
**circa 1982**

Carton 2, Folder 2

**Jurzykowski Foundation award, **
**circa 1966-1967 **

Carton 2, Folder 3

**Kalinowski, J., **
**circa 1967-1971 **

Carton 2, Folder 4

**Kokoszynska, Maria, **
**circa 1937-1975 **

Carton 2, Folder 5

**Kolakowski, Leszek, **
**circa 1969-1975**

Carton 2, Folder 6

**McKenzie, Ralph, **
**circa 1967 **

Carton 2, Folder 7

**McNulty, George, **
**circa 1972-1977 **

Carton 2, Folder 8

**Maddux, Roger, **
**circa 1980 **

Carton 2, Folder 9

**Makowiecka, Hanna, **
**1978-1979 **

Carton 2, Folder 10

**Monk, Donald, **
**1980-1981 **

Carton 2, Folder 11

**Morel, Anne (Davis), **
**1948-1961 **

Carton 2, Folder 12

**Moszynska, Maria, **
**1977-1980 **

Carton 2, Folder 13

**National Academy of Sciences, **
**1978**

Carton 2, Folder 14

**J. Ng, **
**1976-1979**

Carton 2, Folder 15

**Pacholski, Lessek, **
**1972-1979 **

Carton 2, Folder 16

**Polish friends, letters from, **
**circa 1971-1978 **

Carton 2, Folder 17

**Political problems (Poland), **
**circa 1968-1976 **

Carton 2, Folder 18

**Political problems (USSR, Czechoslovakia), **
**circa 1968-1976**

Carton 2, Folder 19

**Political and intellectual conflicts, **
**circa 1974-1979 **

Carton 2, Folder 20

**Preller, Anne, **
**circa 1968-1981 **

Carton 2, Folder 21

**Publications and archives, **
**circa 1977-1981**

Carton 2, Folder 22

**Renshaw, Bruce, B., **
**circa 1970 **

Carton 2, Folder 23

**Rivetti Barbo, Francesca**
**circa 1961-1978 **

Carton 2, Folder 24

**Schechter, Michelle, **
**circa 1976-1980 **

Carton 2, Folder 25

**Shockley, William, **
**circa 1966-1971 **

Carton 2, Folder 26

**Swierczkowska, Helena, **
**circa 1948-1978 **

Carton 2, Folder 27

**Srzednicki, J., **
**circa 1980 **

Carton 2, Folder 28

**Szvserba, Leszek, **
**circa 1978-1979 **

Carton 2, Folder 29

**Universidade Estad. de Campinas, Brazil, **
**circa 1975-1976 **

Carton 2, Folder 30-31

**Universities, assorted, **
**circa 1966-1980**

Carton 2, Folder 32

**University of Calgary, **
**circa 1971-1982**

Carton 2, Folder 33-65

**Correspondence with publishers (from around the world), **
**circa 1957-1981 **

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

Carton 2, Folder 66-67, Box 2, Folder 4-8, Carton 3, Folder 1-6

**Undecidable Theories, **
**circa 1950-1971**

Carton 3, Folder 7-18

**Cylindric Algebras, **
**circa 1971**

Carton 3, Folder 19-24

**Logic, Semanitcs, Metamathematics (second edition), **
**circa 1983**

Carton 3, Folder 25-26, Carton 4, Folder 1-10

**Equational Logic and Equational Theories of Algebras, **
**circa 1968**

Carton 4, Folder 11-12

**Metamathematical discussion of some affine geometries (Szczerba and Tarski), **
**circa 1982**

Carton 4, Folder 13

**Extended arithmetic of ordinal numbers (Doner and Tarski), **
**circa 1982**

Carton 4, Folder 14-17

**Truth and Proof, **
**circa 1966-1969 **

Carton 4, Folder 18

**A simplified formalization of predicate logic with identity (manuscript), **
**undated**

Carton 4, Folder 19

**Theorems on existence of successor of cardinals, and the axiom of choice (manuscript), **
**undated**

Carton 4, Folder 20, Box 2, Folder 2-3

**The elementary theory of well ordering (manuscript), **
**undated**

Carton 4, Folder 21

**Proof of principle of recursive definitions (manuscript by Reinhardt and Tarski), **
**undated**

Carton 4, Folder 22

**Refinement properites for relational structures (manuscript and reprint), **
**circa 1964**

Carton 4, Folder 23

**Equational theories (manuscript), **
**circa 1967**

Carton 4, Folder 24

**Conditions implying the representability of relation algebras (manuscript and notes for paper by Maddux and Tarski), **
**circa 1967**

Carton 4, Folder 25

**Relation algebras (lecture), **
**1975**

Carton 4, Folder 26

**On the deductive method (copy translated by John Corcoran), **
**undated**

Carton 4, Folder 27

**Cylindric set algebras (photocopy of typescript), **
**circa 1981**

Carton 4, Folder 28

**A summary of the address to be given by Alfred Tarski at the Conference on The Problems of Mathematics (Princeton), **
**1946**

Carton 4, Folder 29-30

**An axiomatic approach to set theory (manuscript by Montague, Scott, and Tarski), **
**undated**

Carton 4, Folder 31

**Materials for the volume on set theory, **
**undated**

Carton 4, Folder 32

**Materials for Cardinal Algegras, **
**circa 1955**

Carton 4, Folder 33

**Materials toward Collected Papers, **
**circa 1950-1980**

Carton 4, Folder 34-35

**Set Theory: Lectures by A. Tarski; notes by J.K. and C.C. Elgot (manuscript), **
**circa 1950-1980**

Carton 5, Folder 1

**Draft of article on theory of set fields, **
**undated**

Carton 5, Folder 2-6

**Completeness of real algebra (old draft), **
**undated**

Carton 5, Folder 7-8

**Arithmetical classes, **
**undated**

Carton 5, Folder 9

**Sur la Theorie des Modeles (CNRS colloquium), **
**1955**

Carton 5, Folder 10

**Some problems and results relevant to the foundations of set theory, **
**1960**

Carton 5, Folder 11

**American Mathematical Society abstracts, **
**1960**

Carton 5, Folder 12-13

**The completeness of elementary algebra and geometry, **
**1940, **
**1967**

Carton 5, Folder 14

**Selection of fundamental notions for theory of real numbers (photocopy of handwritten manuscript), **
**undated**

Carton 5, Folder 15-16

**The least cardinality of equational bases for theories of groups and rings, part I (photocopy of handwritten manuscript),
**
**undated**

Carton 5, Folder 17

**Equational theories with various sets (photocopy of handwritten manuscript), **
**undated**

Carton 5, Folder 18

**What are logical notions? (lecture), **
**1966**

Carton 5, Folder 19

**Theory of set fields and its applications (photocopy of manuscript of article), **
**undated**

Carton 5, Folder 20

**The decision problem in Boolean algebra (photocopy of manuscript of article), **
**undated**

Carton 5, Folder 21

**Theory of real numbers (manuscript of speech given before the Berkeley Logic Colloquium), **
**1978**

Carton 5, Folder 22

**An elementary theory of well-ordering (Berkeley Logic Colloquium; by Tarski, Doner, and Mostowski), **
**1978**

Carton 5, Folder 23

**What is elementary geometry? (symposium paper), **
**1958**

Carton 5, Folder 24

**Elementary (arithmetical) extensions (Summer Institute of Symbolic Logic paper), **
**1957**

Carton 5, Folder 25

**The sentential calculus with infinitely long expressions (Summer Institute of Symbolic Logic paper), **
**1957**

Carton 5, Folder 26

**Remarks on predicate logic with infinitely long expressions (Summer Institute of Symbolic Logic paper), **
**1957**

Carton 5, Folder 27

**Introductory remarks on the theory of models (Summer Institute of Symbolic Logic paper), **
**1957**

Carton 5, Folder 28

**Independent recursive axiomatizability (Summer Institute of Symbolic Logic paper), **
**1957**

Carton 5, Folder 29

**Cylindrical algebras (Summer Institute of Symbolic Logic paper), **
**1957**

Carton 5, Folder 30

**Concerning the degree of equivalence of polygons (two papers by Alfred Tarski and one paper by Henryk Moese), **
**1950**

Carton 5, Folder 31

**Some methodological investigations regarding the defineability of concepts, **
**undated**

Carton 5, Folder 32

**A decision method for elementary algebra and geometry, **
**1951**

Carton 5, Folder 33

**An extended arithmetic of ordinal numbers (Doner and Tarski; System Development Corporation), **
**1967**

Carton 5, Folder 34

**Expository lectures on mathematics, **
**undated**

Carton 5, Folder 35

**Four speeches and notes on mathematics, **
**circa 1955-1956**

Carton 5, Folder 36

**What are logical notions? (Bedford College, London), **
**1966**

Carton 6, Folder 1-24

**Reprints of Tarski's articles (in chronological order), **
**1927-1979, **
**undated**

Carton 6, Folder 25-29

**Assorted articles published in journals and magazines, **
**1937-1977**

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

Carton 7, Folder 1

**Gebhard Fuhrken (paper on set theory), **
**1966**

Carton 7, Folder 2

**Verena Huber Dyson (correspondence and manuscript of Symmetric Groups and the Open Sentence Problem), **
**1980**

Carton 7, Folder 3

**Arthur L. and Jean E. Rubin (The Cardinality of the Set of the Dedekind Finite Cardinals in Fraenkel-Mostowski Models), **
**circa 1965**

Carton 7, Folder 4

**W. Marek (The Foundations of mathematics in Poland after World War II), **
**circa 1977**

Carton 7, Folder 5

**Jan Mycielski (Finitely additive invariant measures III), **
**circa 1978**

Carton 7, Folder 6-8

**Michael Kwatinetz (thesis with AT's annotations), **
**circa 1980**

Carton 7, Folder 9

**W.P. Tagarinow and L.E. Maistrow (Against Idealism in Mathematical Logic), **
**1951**

Carton 7, Folder 10-11

**Wolfram Schwabhauser, **
**1951**

Carton 7, Folder 12

**R. Risch, **
**1966**

Carton 7, Folder 13

**Dana Scott, **
**undated**

Carton 7, Folder 14

**Don Pigozzi (Draft on universal equational theories and varieties of algebras), **
**undated**

Carton 7, Folder 15

**Lou v.d. Vries (manuscrip of Exponential rings and exponential functions), **
**undated**

Carton 7, Folder 16

**Stanley Wagon (Invariance properties of finitely additive measures...and Circling the wagon in the 20th century), **
**undated**

Carton 7, Folder 17

**George F. McNulty (The decision problem for equational bases of algebras), **
**undated**

Carton 7, Folder 18

**L. W. Szczerba and Alexander Prestel, **
**undated**

Carton 7, Folder 19

**R. Freese and R. McKenzie (Residually small varieties with modular congruence lattices), **
**undated**

Carton 7, Folder 20

**Notes of Richard Montague (an axiomatic approach; made with A. Tarski), **
**undated**

Carton 7, Folder 21

**A. P. Morse (Fixed sets and bipartitions), **
**undated**

Carton 7, Folder 22-24

**Jaroslav Jezek (manuscript of The lattice of equational theories), **
**undated**

Oversize folder 1

**Self Reference with Negative Types (A.P. Hiller and J. Zimbarg, Sb.), **
**1981**

Box 2, Folder 1

**Thomas Frayne (copy of manuscript)**
**undated**

Carton 7, Folder 25

**Drafts of articles and books sent to Tarski, **
**circa 1960-1967**

Carton 7, Folder 26

**Miscellaneous articles and reprints by others, **
**circa 1946-1980**

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

Carton 7, Folder 27

**Math 290: Algebraic Logic (course notes and seminar presentations), **
**circa 1946-1980**

Carton 7, Folder 27

**Math 290: Algebraic Logic (course notes and seminar presentations), **
**1964**

Carton 7, Folder 28

**Math 245A-B (notebooks), **
**undated**

Carton 7, Folder 29

**General theory of algebraic structures (seminar reports), **
**1971-1972**

Carton 7, Folder 30

**Math 235A: Set Theory (course notes and problem sets), **
**undated**

Carton 7, Folder 31

**Math 290: Metamathematics of algebra (seminar notes), **
**1966**

Carton 8, Folder 1-2

**Math 290: Equational logic (seminar reports, correspondence, relevant reprints), **
**1968-1969**

Carton 8, Folder 3-4

**Math 290: Foundations of math (seminar reports, notes), **
**1960-1962**

Carton 8, Folder 5

**Math 290 (seminar reports), **
**1962-1963**

Carton 8, Folder 6

**Reprints, papers related to the general theory of algebras, including 1966 seminar reports, **
**1966**

Carton 8, Folder 7

**Equational logic (letter from Judith Ng and results of Joel Karnofsky), **
**1966**

Carton 8, Folder 8-9

**Math 290: Direct products of algebraic systems (seminar reports, notes, drafts, correspondence), **
**1971-1972**

Carton 8, Folder 10

**Math 290: Relation algebras (seminar reports, notes, drafts, correspondence), **
**1969-1970**

Carton 8, Folder 11

**Math 290: General theory of algebras (Chile) (seminar notes), **
**1974-1975**

Carton 8, Folder 12-13

**Notes for a geometry course, **
**undated**

Carton 8, Folder 14-16

**Course in metamathematics, **
**undated**

Carton 8, Folder 17

**Math 101A: Notes and problem sets by Louise Chin, **
**1943**

Carton 8, Folder 18

**Notes from course on axiomatic geometry (unknown hand), **
**undated**

Carton 8, Folder 19

**Tarski's doctoral students (programs for defense of dissertation), **
**1946-1957**

Carton 8, Folder 20-21

**Final examination questions, **
**circa 1945-1975**

Carton 8, Folder 22

**Miscellaneous teaching materials, **
**undated**

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

Carton 9, Folder 1-3

**Navy contracts, **
**1946-1954**

Carton 9, Folder 4-47

**National Science Foundation grant files, **
**circa 1952-1970**

Carton 10, Folder 1-14

**National Science Foundation project reports and other materials, **
**circa 1952-1970**

Carton 10, Folder 15

**Decision method for elementary algebra and geometry (Rand report), **
**1948**

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

Carton 10, Folder 16-20

**Institute for Basic Research, **
**circa 1954-1960**

Carton 10, Folder 21-26, Carton 11, Folder 1-17

**International Union of the History and Philosophy of Science, **
**circa 1957-1971**

Carton 11, Folder 18

**Summer Institute in Logic (Berkeley), **
**1957**

Carton 11, Folder 19-21, Carton 12, Folder 1-24

**Association for Symbolic Logic (Berkeley), **
**1957**

Carton 12, Folder 25-33

**Symposium on Axiomatic Method (Berkeley), **
**1957-1958**

Carton 12, Folder 34

**UC Berkeley, Group in Logic and Methodology of Science, **
**1973, **
**1981**

Carton 12, Folder 35

**Conference on Universal Algebras (Oberwolflach), **
**1971**

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

Carton 12, Folder 36-37

**Notebooks, **
**undated**

Box 1, Folder 1

**Notes on the foundations of Euclidean geometry, **
**undated**

Box 1, Folder 2

**Notes on the foundations of Boylai-Lobaczerski geometry, **
**undated**

Box 1, Folder 3

**Notes and other materials on essentially undecidable theories, interoperability of theories, **
**undated**

Box 1, Folder 4

**Notes and other materials on the foundations of geometry, **
**undated**

Box 1, Folder 5

**Notes, assorted, **
**undated**

Box 1, Folder 6

**Materials for the general theory of algebra, exercises and problems, **
**undated**

Box 1, Folder 7

**Notes on infinitary logics, **
**undated**

Box 1, Folder 8

**Notes on paradoxical properties of point sets/abstract problem of measure, **
**undated**

Box 1, Folder 9

**Notes on Horn sentences and reduced products in infinity logics, **
**undated**

Box 1, Folder 10

**Materials on the elementary theory of Boolean algebra, **
**undated**

Box 1, Folder 11

**Unpublished results in set theory related to the results ot Specker..., **
**undated**

Box 1, Folder 12

**Reviews of Tarski's works, **
**circa 1950-1975**

Box 1, Folder 13

**Obituary for Boleskaw Sobocinski (annoted by Tarski), **
**1981**

Box 1, Folder 14

**UC faculty matters, **
**circa 1974-1975>**

Box 1, Folder 15

**Campus travel materials, **
**circa 1960-1966>**

Box 1, Folder 16

**Notes and materials on Jonsson algebras, **
**circa 1960-1966>**

Box 1, Folder 17

**Chapter from book by Francesca Rivetti-Barbo, **
**circa 1981**

Box 1, Folder 18, Oversize folder 1

**Flyers and announcements for lectures given by Alfred Tarski, **
**circa 1946-1960**