Jump to Content

Collection Guide
Collection Title:
Collection Number:
Get Items:
Finding Aid to the Alfred Tarski papers, circa 1923-1985
BANC MSS 84/69 c  
View entire collection guide What's This?
PDF (81.11 Kb) HTML
Search this collection
 
 
Table of contents What's This?

Container List

 

Series 1  Biographical/Bibliographical, circa 1923-1985

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

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

 

Series 3  Writings and Research, circa 1927-1979

Physical Description: carton 2, folder 66-67; box 2, folder 2-8; carton 3-6
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

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

 

Series 5  Teaching, circa 1946-1980

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

 

Series 6  Projects and Grants, circa 1946-1970

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

 

Series 7  Professional Organizations and Events, circa 1954-1971

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

 

Series 8  Notes and Miscellany, circa 1946-1981

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