Alfred Tarski Papers, circa 1923-1985

Finding Aid written by Lara Michels

The Bancroft Library

University of California, Berkeley

Berkeley, CA 94720-6000

Phone: (510) 642-6481

Fax: (510) 642-7589

Email: bancref@library.berkeley.edu

URL: http://bancroft.berkeley.edu/

Alfred Tarski Papers, circa 1923-1985

Collection number: BANC MSS 84/69 c

The Bancroft Library

University of California, Berkeley

Berkeley, CA 94720-6000

Phone: (510) 642-6481

Fax: (510) 642-7589

Email: bancref@library.berkeley.edu

URL: http://bancroft.berkeley.edu/

Finding Aid Author(s):: Finding Aid written by Lara Michels
Finding Aid Encoded By:: GenX

Collection Summary

Collection Title: Alfred Tarski papers

Date (inclusive): circa 1923-1985

Collection Number: BANC MSS 84/69 c

Extent: 12 cartons, 2 boxes and 1 oversize folder 15.8 linear feet 13 digital objects (18 images)

Repository: The Bancroft Library.

University of California, Berkeley

Berkeley, CA 94720-6000

Phone: (510) 642-6481

Fax: (510) 642-7589

Email: bancref@library.berkeley.edu

URL: http://bancroft.berkeley.edu/

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, 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.

Information for Researchers

Access

Collection is open for research.

Publication Rights

All requests to reproduce, publish, quote from or otherwise use collection materials must be submitted in writing to the Head of Public Services, The Bancroft Library, University of California, Berkeley, 94720-6000. Consent is given on behalf of The Bancroft Library as the owner of the physical items and is not intended to include or imply permission from the copyright owner. Such permission must be obtained from the copyright owner. See: http://bancroft.berkeley.edu/reference/permissions.html.

Restrictions also apply to digital representations of the original materials. Use of digital files is restricted to research and educational purposes.Materials in this collection may be protected by the U.S. Copyright Law (Title 17, U.S.C.). In addition, the reproduction of some materials may be restricted by terms of University of California gift or purchase agreements, donor restrictions, privacy and publicity rights, licensing and trademarks. Transmission or reproduction of materials protected by copyright beyond that allowed by fair use requires the written permission of without permission of the copyright owner. Responsibility for any use rests exclusively with the user.

All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Public Services, The Bancroft Library, University of California, Berkeley 94720-6000. See: http://bancroft.berkeley.edu/reference/permissions.html .

Preferred Citation

[Identification of item], Alfred Tarski Papers, BANC MSS 84/69 c, The Bancroft Library, University of California, Berkeley

Alternate Forms Available

Digital reproductions of selected items are available.

Indexing Terms

The following terms have been used to index the description of this collection in the library's online public access catalog

Tarski, Alfred--Archives

Adolph C. and Mary Sprague Miller Institute for Basic Research in Science

Associaton for Symbolic Logic

International Union of the History and Philosophy of Science

National Science Foundation (U.S.)--Research grants

University of California, Berkeley--Dept. of Mathematics

Algebraic logic

Jewish refugees--United States

Jewish scientists

Logic, Symbolic and mathematical

Mathematicians--Poland

Mathematicians--Polish

Mathematicians--United States

Mathematics--Poland

Mathematics--United States

Metamathematics

Model theory

Semantics (Philosophy)

Set theory

Faculty papers

Manuscripts for publication

Photographs

Administrative Information

Accruals

No additions are expected.

Processing Information

Processed by Lara Michels in 2012.

Biographical Information

Alfred Tarski (1901-1983) was professor of mathematics and logic at the University of California, Berkeley. He was born Alfred Teitelbaum in Warsaw, Poland in 1901 to Polish-Jewish parents and educated at Warsaw University. In 1923, he changed his surname from Teitelbaum to Tarski and, around the same time, converted to Catholicism. After completing his doctorate, Tarski taught logic and mathematics and served as the assistant to his former doctoral advisor Stanislaw Lesniewski. During the 1920s and 1930s, Tarski published textbooks and many important papers in mathematics, but he never obtained a professorhip in Poland. In August of 1939 (just a month before the German and Soviet invasions of Poland), Tarski came to the United States to give a series of lectures under the sponsorship of the Unity of Science movement. He remained in the United States as a refugee and would not be joined by his wife and children until after the war in 1946. Many of the members of Tarski's extended family were killed in the Holocaust.

Between 1939 and 1942, Tarski took a range of temporary teaching positions in the United States. In 1942, he found a permanent position, joining the mathematics faculty at the University of California, Berkeley. Tarski supervised twenty-four Ph.D. dissertations and established a reputation as an charismatic and demanding teacher. He retired from the University of California in 1968.

Tarski is particularly remembered for his work on model theory, metamathematics, and algebraic logic, but he also worked on topics related to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy. Tarski's influence is widespread not only in the field of mathematics but also in philosophy and linguistics. He was a member of the National Academy of Sciences, Foriegn Member of the Royal Netherlands Academy of Sciences and Letters, and Corresponding Fellow of the British Academy.

Scope and Content of Collection

The collection consists mostly of materials relating to Tarski's tenure as a mathematician at UC Berkeley. It is divided into eight series: Biographical/Bibliographical; Correspondence; Writings; Writings by Others (annotated by Tarski); Teaching; Grants and Projects; Professional Organizations and Events; and Notes and Miscellany. Among the biographical/bibliographical materials are personal documents from Tarski's life in Poland dating from 1923, materials in support of Tarski's application for a permanent United States visa, passports (Polish and American), materials relating to Tarski's American job search, materials relating to his sponsorship of the immigration of his wife and children, biographical articles and reminiscences about Tarski, clippings, bibliographies, a group photograph of participants in a mathematics conference in Warsaw in 1929, and a 1935 photograph of Tarski with Kurt Godel. Among the correspondence is general correspondence dating mostly from the 1950s through the 1970s as well as correspondence with particular individuals and on specific topics. Correspondence is in both English and Polish. Writings consist of manuscripts and drafts of Tarski's mathematical monographs and articles as well as drafts of speeches and lectures. In addition to manuscripts and drafts, the files of Tarski's writings may include reprints as well as correspondence and other supporting research materials relating to his writing and scholarship. The collection also includes writings by other mathematicians, some of which are annotated or critiqued by Tarski. Teaching files consist of materials for Tarski's courses at UC Berkeley and might include lecture materials, seminar reports, notes and problem sets. Among the grant and project materials are files on Tarski's work on National Science Foundation grant-funded projects and U.S. Navy contracts. Files on organizations and events include materials from Tarski's work with the International Union of the History and Philosophy of Science, the Institute for Basic Research, the Association for Symbolic Logic, the Summer Institute in Logic (Berkeley, 1957), and a symposium on the axiomatic method in Berkeley in 1957-1958.

Biographical/Bibliographical, circa 1923-1985 Series 1

Physical Description: carton 1, folder 1-16; oversize folder 1

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 4

Newsclipping with photograph of Alfred Tarski, from The Daily Californian. June 29, 1971 BANC MSS 84/69 c

view online item

carton 1, folder 4

Alfred Tarski's savings account statement from the Community Savings and Loan Association. July 3, 1945 BANC MSS 84/69 c

carton 1, folder 4

Alfred Tarski's Affidavit of Support for his wife, son and daughter. July 6, 1945 BANC MSS 84/69 c

view online item

Alfred Tarski's Selective Service Registration Certificate. February 16, 1942 BANC MSS 84/69 c

view online item

carton 1, folder 4

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

view online item

carton 1, folder 4

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

carton 1, folder 5

Alfred Tarski's Polish passport. July 10, 1939 BANC MSS 84/69 c

view online item

carton 1, folder 6, oversize-folder 1

Professional honors and activities, circa 1925-1968

carton 1, folder 6

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

view online item

carton 1, folder 7

Personal souvenirs, including journal, circa 1923-1971

carton 1, folder 7

Dinner menu from Gdynia-America Shipping Lines. 1939 BANC MSS 84/69 c

view online item

carton 1, folder 7

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

view online item

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 12

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

view online item

carton 1, folder 12

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

view online item

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

carton 1, folder 16

Alfred Tarski and Kurt Godel, Vienna. 1935 BANC MSS 84/69 c

view online item

Physical Description: 1 photographic print

Scope and Content Note

Tarski (left), Godel (right).

Correspondence, circa 1937-1983 Series 2

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

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

Writings and Research, circa 1927-1979 Series 3

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

box 2, carton 2-6, folder 66-67

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

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

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

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

Teaching, circa 1946-1980 Series 5

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

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

Projects and Grants, circa 1946-1970 Series 6

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

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

Professional Organizations and Events, circa 1954-1971 Series 7

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

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

Notes and Miscellany, circa 1946-1981 Series 8

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

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