Guide to the Solomon Feferman papers SC0907

Daniel Hartwig & Jenny Johnson
Department of Special Collections and University Archives
October 2010
Green Library
557 Escondido Mall
Stanford 94305-6064
specialcollections@stanford.edu

Note

This encoded finding aid is compliant with Stanford EAD Best Practice Guidelines, Version 1.0.


Language of Material: English
Contributing Institution: Department of Special Collections and University Archives
Title: Solomon Feferman papers
creator: Feferman, Solomon.
Identifier/Call Number: SC0907
Physical Description: 28.75 Linear Feet
Date (inclusive): 1938-2016
Date (bulk): bulk
Abstract: The first series primarily document Feferman’s term as president of the Association for Symbolic Logic from 1980 to 1982. The material consists largely of correspondence, meeting agendas and minutes, and material from symposia and lectures. Accession 2018-045 largely consists of correspondence, publications and talks, Stanford University Mathematics Department material, and other professional material.

Information about Access

This collection is open for research.

Ownership & Copyright

All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94304-6064. Consent is given on behalf of Special Collections 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, heir(s) or assigns. See: http://library.stanford.edu/depts/spc/pubserv/permissions.html.
Restrictions also apply to digital representations of the original materials. Use of digital files is restricted to research and educational purposes.

Cite As

Solomon Feferman Papers (SC0907). Department of Special Collections and University Archives, Stanford University Libraries, Stanford, Calif.

Biographical/Historical Sketch

Solomon Feferman was a Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences at Stanford University, he became Emeritus in 2004. Born December 13, 1928 in New York, New York, Feferman earned a B.S. from the California Institute of Technology in 1948, and his Ph.D. at University of California, Berkeley in 1957. His interests included mathematical logic, philosophy of mathematics, and history modern logic. Feferman died in 2016.

Description of the Collection

These papers primarily document Feferman’s term as president of the Association for Symbolic Logic from 1980 to 1982. The material consists largely of correspondence, meeting agendas and minutes, and material from symposia and lectures. Accession 2018-045 largely consists of correspondence, publications and talks, Stanford University Mathematics Department material, and other professional material.

Subjects and Indexing Terms

Logic, Symbolic and Mathematical.
Association for Symbolic Logic.
Feferman, Solomon.
Feferman, Solomon.
Feferman, Solomon.
Stanford University. Department of Mathematics

 

Papers Accession ARCH-2008-227

box 1, folder 1

Association for Symbolic Logic (ASL) Book Series Folder, 1981-1982

box 1, folder 2

ASL Book Series Proposal (1 of 2), 1980-1983

box 1, folder 3

ASL Book Series Proposal (2 of 2), 1980-1983

box 1, folder 4

Book Series Extra Letters, 1981

box 1, folder 5

ASL Membership Committee, 1977-1982

box 1, folder 6

Journal of Symbolic Logic (JSL) Current, 1982

box 1, folder 7

Agenda Work-Up & Memos from Mesiro, 1981-1983

box 1, folder 8

ASL Book series-Boston, 1982-1983

box 1, folder 9

AMS/ASL Translations Subcommittee, 1980-1982

box 1, folder 10

ASL Meeting-Boston December 29, 1983, 1982-1983

box 1, folder 11

ASL: Editorial Board- Abstracts Format, 1980-1982

box 1, folder 12

European Committee for Logic, 1980-1982

box 1, folder 13

ASL Prize & Awards, 1978-1982

box 1, folder 14

Broadening-Letters to the Council, 1982

box 2, folder 1

Interned Polish Logicians, 1981-1982

box 2, folder 2

Proposal: Latin American Symposium, 1982-1983

box 2, folder 3

Broadening the ASL- Center Meeting; May 12, 1982, 1980-1982

box 2, folder 4

IUHPS/DLMPS-Salzburg Meeting, 1983

box 2, folder 5

ASL (Active)-Pending, 1978-1979

box 2, folder 6

Main Files, 1978-1979

box 2, folder 7

ASL Publications Committee: Subcommittee I- New Journals, 1973-

box 2, folder 8

ASL-Bulletin of Information, 1980-1981

box 2, folder 9

ASL-Bulletin of Information II, 1983

box 2, folder 10

ASL Council Minutes, 1983 January 7-8

box 2, folder 11

ASL-Correspondence, 1982

box 3, folder 1

ASL,1981-1982

box 3, folder 2

Ruth Barcan Marcus-Correspondence, 1982-1983

box 3, folder 3

ASL New Business,1983

box 3, folder 4

NSF Travel Grant to Salzburg Meeting, 1982

box 3, folder 5

ASL-Final Work, 1981-1983

box 3, folder 6

ASL Correspondence (II), 1982-1983

box 3, folder 7

ASL Correspondence (III), 1982-1983

box 3, folder 8

ASL-Council Meeting, 1983 December 29-30

box 3, folder 9

ASL-Meeting in Anaheim-Council Meeting Agenda, 1985 January

box 3, folder 10

ASL-Nominations, 1985

 

Additional Papers Accession ARCH-2018-045

 

Publications Talks

Box 1, Folder 1

Typical Ambiguity: Trying to have your cake and eat it too

Box 1, Folder 2

Typical Ambiguity

Box 1, Folder 3

Category Theory In Explicit Maths. "Collections approach"

Box 1, Folder 4

Prospectus Chapters 1, 2, 3 Vienna Talks Photos Tarnshi Potrait

Box 1, Folder 5

Lukasiewicz Correspondence 1948-1951

Box 1, Folder 6

Tarshi-Some e-email responses

Box 1, Folder 7

Tarski: ABC Lists

Box 1, Folder 8

Tarski Database

Box 1, Folder 9

Foundations of Explicit Maths. Chapters in papers 211-212

Box 1, Folder 10

Foundations of Explicit Mathematics Chapters 8-10 Plus outlines Chapters 11-19 and end material 212 Jul 2

Box 1, Folder 11

Foundations of Explicit Mathmatics Chapters 1-4, 6-7 and Suggestion revisions Chapters 1-4, 6-7 212 Jun 13, 212 Jun 30

Box 1, Folder 12

Foundation of Explicit Mathematics Contents

Box 1, Folder 13

Computation and Recurrsion

Box 1, Folder 14

Notes for Chapter 2 "Fixing Frege" by John Bungers

Box 1, Folder 15

Preface / Papers

Box 1, Folder 16

Conviction and Caution-Responses

Box 1, Folder 17

Conviction and Caution-Original + Comments

Box 1, Folder 18

Tausshey-Todd / Meuger / Koehler

Box 1, Folder 19

Godel 1931C

Box 1, Folder 20

Type Symbols for YK 1931C

Box 1, Folder 21

Papers + Refs

Box 1, Folder 22

Godel-Life and Work-Responses

Box 1, Folder 23

Commentaries on my chapter Godel Life and Word

Box 1, Folder 24

Godel Life-Notes

Box 1, Folder 25

Godel Biography-Early Version

Box 1, Folder 26

Godel: Conviction and Caution [Final Version] + Bales, Gaudjean letter

Box 1, Folder 27

Proof Theory Symposium + "Some formal systems for the unlimted theory of structures and categories" 1974

Box 1, Folder 28

The explicit content of actual mathmatical analysis: formal systems of analysis and their interpretations (outline of proposed book) 1973

Box 1, Folder 29

Cleramont-Fernand Tutorials 1994 Jul

Box 1, Folder 30

Logical Founds. Of Sci. Applic. Maths. (Transparencies)

Box 1, Folder 31

Quine Memorial Symposium 201 Jan 26

Box 1, Folder 32

Quine Transparencies

Box 1, Folder 33

Lectures, Transparencies "Does Mathmatics Need New Axioms?"

Box 1, Folder 34

Logic Colloquium-Talk Transparencies "Functionary inductively presented topics" 1988

Box 1, Folder 35

Tarski Conference Warsaw-Russel; Paradox Conference, Munnich May 28-Jun 1, Jun 2-5

Box 1, Folder 36

UC Irvine Lecture: In the light of logic Godel and Tarski-Transparencies 1999 Oct 19-22

Box 1, Folder 37

Hilbert's Program Symposium 1985 Dec 29

Box 1, Folder 38

Austin Talk" Personal Shopping List for logical frameworks--tranparencies 1993 Feb 5

Box 1, Folder 39

UC Irvine visit 1999 Oct 18-23

Box 1, Folder 40

From Problem Driven Logic to Use Driven Logic

Box 1, Folder 41

Comments on Encylopedia Iraliara Article on Foundations of Programs

Box 1, Folder 42

A Miscellany of Mathematical-Philosophical Quotations for Janet Lewis Winters 90th BIrthday 1989 Aug 17

Box 1, Folder 43

To a framework for polymorphinism-lecture transparencies 1996 Nov-1987 Feb

Box 1, Folder 44

Browwer Meet 1981 Jun 7-13

Box 1, Folder 45

McCarthy Photos

Box 1, Folder 46

Meetups/People-Personal

Box 1, Folder 47

Metamath Lecture Notes 1-15 1961-1962

Box 1, Folder 48

Folder for Finished Notes: Metamath Course Lecture Notes 16-29 1961-1962

Box 1, Folder 49

Godel and 20th Century Logic-History of Science Lecture 1989

Box 1, Folder 50

Inaugrual Lecture Stanford / Colloquim San Jose / "Deciding the undecided" Transparencies 1994 Feb 13, 1994 Sep 22

Box 3, Folder 1

Meetings 2000-2001

Box 3, Folder 2

Ondimals-Notes and papers to take

Box 3, Folder 3

Conservation results for theories with choice and comprehension princniple

Box 3, Folder 4

Assorted Proof Theory Notes Atrp-higs

Box 3, Folder 5

Columbia Papers

Box 3, Folder 6

291A

Box 3, Folder 7

"Some theories of strepth" Lecture-Patras Logic Colloquium 1980

Box 3, Folder 8

Feferman ATR 2017 Dec 2

Box 3, Folder 9

Lecture on Set Theory 1978

Box 3, Folder 10

Set Theory Notes

Box 3, Folder 11

Set Theory Math 292B Notes 1993-1994

Box 3, Folder 12

Set Theory Math 292A Notes 1993-1994

Box 3, Folder 13

Phil 162 Philosophy of Mathematics

Box 3, Folder 14

Logic Societies Groups Newsletters, Info, Emails

Box 3, Folder 15

Book Shetehan for analysis misc.

Box 3, Folder 16

Math 294 Section Notes

Box 3, Folder 17

AC vs CA in Subsystems of Analysis

Box 3, Folder 18

Work. Founding Metamath

Box 3, Folder 19

Itenated ID and ID

Box 3, Folder 20

Kreisel

Box 3, Folder 21

Predicativity-Paper-more perspecous systems / Notes as ..., indepenent results

Box 3, Folder 22

Predicativity-Papers, Source 1976

Box 3, Folder 23

Model Theory Notes

Box 3, Folder 24

290A

Box 3, Folder 25

Applied Proof Theory 293A

Box 3, Folder 26

Notes on Proof Theory / Ondimal Notation For Munnich

Box 3, Folder 27

Predicative Syetems-Proofs of results

Box 3, Folder 28

Iremeted ID's

Box 3, Folder 29

Predecativity Re-Examined

Box 3, Folder 30

Handbook

Box 3, Folder 31

Use of Functional Models in Analysis / Impredicative Theorums

Box 3, Folder 32

Formal Systems of Analysis Seminar

Box 3, Folder 33

Topics in Proof Theory Godel's 2nd Then Reflection Principle 1975-1976

Box 3, Folder 34

Ontogeny and Philosophy of Axiom Systems-A structural conceptualist account (drafts)

Box 3, Folder 35

Philosophy of Mathematics-Drafts, comments

Box 3, Folder 36

Math-in-W?

Box 3, Folder 37

Light of Logic (Things to check)

Box 3, Folder 38

In the light of logic, chapters in Prep [Old versions] + Outtakes

Box 3, Folder 39

Macmillan "Proof Theory Since 1960" Proof Sheets

Box 3, Folder 40

Proof Theory since 1960 (MacMillian Encyc)

Box 3, Folder 41

Bungers Encyc. Phil

Box 3, Folder 42

Fefernab-Hellman II (Challenges to Predicative Foundations of Arithemetic) Final Version 1996 Jul 31

Box 3, Folder 43

Challenges to PFA / Fefferman Hellman II

Box 3, Folder 44

A George Vellman / Hellman Feferman

 

Professional

Box 4, Folder 1

Sam Sebastian Meeting 1990 Sep 25-29

Box 4, Folder 2

Aarhus Info / Copenhagen Map

Box 4, Folder 3

BRICS Workshop PTAC 1998 Aug 3-7

Box 4, Folder 4

Intuitions vs Monsters XX WCP Lecture Boston 1998 Aug 11

Box 4, Folder 5

Kevin Stark Endangered Dreams / Scott Soaemen Understanding Truth 1996

Box 4, Folder 6

Seuina Today

Box 4, Folder 7

Ah Chu!

Box 4, Folder 8

Current Travel Plans

Box 4, Folder 9

Logic Seminar "C++ Is Indefinite Math Logic Problem" 215 Nov 17

Box 4, Folder 10

Operational Set Theory WOLLIC Transpariencies 2006

Box 4, Folder 11

Operational Theories of Sets

Box 4, Folder 12

CST

Box 4, Folder 13

Constructive Theories of Functions and Classes

Box 4, Folder 14

Against Type Theory

Box 4, Folder 15

Berne Visist 1997 Jun 16-23

Box 4, Folder 16

Ferferman-Jagen-Systems of EM with M/I

Box 4, Folder 17

Jagen-Seminar Notes on Universals in Explicit Maths. + Some of my notes

Box 4, Folder 18

Feferman, Jagen, Stahem-Book Plans-Foundation of Explicit Maths

Box 4, Folder 19

ESSLIT Lectures Applicative Theories and Variable Types 1997

Box 4, Folder 20

Lectures of ESSLLI Applicative Theories and Variable Types (AIX) 1997

Box 4, Folder 21

Mahlo Universes / Friendman Coquared

Box 4, Folder 22

Metamathematics Lecture Notes 1961-1962

Box 4, Folder 23

Lectures on … 293 1978

Box 4, Folder 24

Reduction Workshops Munnich / "Does reductive proof theory have a variable rationale?" 1997 Sep 17

Box 4, Folder 25

Munnich Lecture Kurt Schutte's Way 1999 Nov 5

Box 4, Folder 26

Reshiefed EM, Feferman-Jagen work

Box 4, Folder 27

Brono-KG Re Finitism 1996

Box 4, Folder 28

Unfolding Refs / Finitism-Unfolding (with T. Staitham)

Box 4, Folder 29

Prposal for a predicativity collection

Box 4, Folder 30

Predicativity: Problems and Prospects

Box 4, Folder 31

History of Predicativity (With Mancosw) / For Dawson, Kawaniur, Van Daler volume

Box 4, Folder 32

Tanskue's Conception of Logic / Tarski Cemtenary

Box 4, Folder 33

Logical Form and Logical Constants UC Irvine

Box 4, Folder 34

Comments by Pratt Etch-Knath, Mitchell, Jeff Lellman, etc

Box 4, Folder 35

Hiutikke Papers

Box 4, Folder 36

Paris-Lecture 1990 Mar 14

Box 4, Folder 37

Symposium on Synbolic Computation Engeler Meeting Zunich ETH 1990 Mar 5-7

Box 4, Folder 38

Logic and Computation Conference Pittsburg 1987 Jun 30-Jul 2

Box 4, Folder 39

Weye Vindicated "Das Kontinumen" / Florence talk: a modern developments of Weye foundational prgram"

Box 4, Folder 40

La Rechenche Article

Box 4, Folder 41

LICS: Santa Cruz, SF, and Monteral Jun 22-25, Jun 20-23

Box 4, Folder 42

Paris Visit 1992 Mar 15-Apr 13

Box 4, Folder 43

One Hundred Years of Russel's Paradox 201 Jun 2-5

Box 4, Folder 44

Will o the wisp Talk

Box 4, Folder 45

Tarshi Lectures I. Truth Unfounded 206 Apr -3-7

Box 4, Folder 46

Open-Ended Schematic Ax. Systems ASL Lecture-Stanford

Box 4, Folder 47

Truth Unfounded Transparencies

Box 4, Folder 48

Puflicatious Lists + Past lists

Box 4, Folder 49

Oslo Talk / Recurssion Theory and Set Theory: a marriage of conveniances / Notes to Grem.. Talk

Box 4, Folder 50

Turing Machines Lectures Notes and Transparencies

Box 4, Folder 51

Tarski Lectures Lecture II: The "Logic" Question 206 Apr 3-7

Box 7, Folder 1

Notes for Set Theory Ma 235 and additional Seminer Notes on Set Theory

Box 7, Folder 2

Papers of Godel Kleene Tarsk Seminars: Arith Classes Cylind. Algs

Box 7, Folder 3

Feferman Chapters III

Box 7, Folder 4

Chapters IV-I-

Box 7, Folder 5

Chapter V-Larson

Box 7, Folder 6

Book Feferman

Box 7, Folder 7

Fefernab Cgaoters I-1-I-55

Box 7, Folder 8

Chapters II Feferman Math, Dept

Box 7, Folder 9

Chapters II Feferman Math, Dept

Box 7, Folder 10

Tait Misc

Box 7, Folder 11

S.F 1st Class

Box 7, Folder 12

Refile-School

Box 7, Folder 13

Itenated ID and FP Theories

Box 7, Folder 14

Tucker Zucker

Box 7, Folder 15

Feferman Metamath SSO-15 1961-1962

Box 7, Folder 16

Course Notes Generalization of Recurion Theory 1970-1971

Box 7, Folder 17

Metamath Notes SS 16-29 1961-1962

Box 11, Folder 1

Recursion Theory / Jyvaskala meet / Oxford meet 1976

Box 11, Folder 2

Meetings Past

Box 11, Folder 3

Msothes

Box 11, Folder 4

Enc. Britannica Article / Dubueatents

Box 11, Folder 5

Logic DIV

Box 11, Folder 6

Kreisel-Howard BI + TI + Continuity / Booh Publ

Box 11, Folder 7

Meeting Visits

Box 11, Folder 8

Tarsku meeting / Tarski Symposium 1971

Box 11, Folder 9

Annual Faculty Report 1986

Box 11, Folder 10

Stanford Salary Stuff w/Rosse-Spring 1982

Box 11, Folder 11

Schutte

Box 11, Folder 12

Meetings

Box 11, Folder 13

Misc Feferman

Box 11, Folder 14

Phil Dept. 2001-2002

Box 11, Folder 15

Currents

Box 11, Folder 16

Today / Current Spring-Dec 1999

Box 11, Folder 17

Today

Box 11, Folder 18

Now! 1998-Spring 1999

Box 11, Folder 19

Project Description Copies

Box 11, Folder 20

Vaught Memorial 2002 Jun 2

Box 11, Folder 21

Turning Works

Box 11, Folder 22

In the Light of Logic, Reviews + Connections

Box 11, Folder 23

CV Publications Bio

Box 11, Folder 24

Feferman CV Bio

Box 11, Folder 25

Tarski Questionnaires Interviews File, etc

Box 11, Folder 26

Tarski Interludes-Early Version / Interlude, 1924: Banach-Tarski / Interlude 1946: Tarski's Princeton Lecture 1924 / 1946

Box 11, Folder 27

Chapters-Paper Transparencies 2012 Oct 11

Box 11, Folder 28

Old Chapters 7-9 / Tarski Ch 10+ / Tarski's 60s

Box 11, Folder 29

Cal Tech Meetings Abstracts 1996 Nov 15-17

Box 11, Folder 30

When Tarski Met Godel / History Session AMS Meet. Caltech 1996 Nov 16-17

Box 11, Folder 31

Alfred Tarski ad a watershed Meeting in Logic + Tarski and CS

Box 11, Folder 32

References

Box 11, Folder 33

History of The Logic Position Stanford Math Dept.

Box 11, Folder 34

ASL

Box 11, Folder 35

Aachem Talk 1983

Box 11, Folder 36

Paris Talk / M. Logic Seminar 1981

Box 11, Folder 37

NSF Proposal 1976

Box 11, Folder 38

NSF Proposal References / Krisel papers

Box 12, Folder 1

Letter from Anthony Will

Box 12, Folder 2

Letter from Jaroslaw Kozak

Box 12, Folder 3

Recent and Not So Recent

Box 12, Folder 4

Hauser, Arana, Schimanovich

Box 12, Folder 5

Reactions to Rome Paper: Quine, Friedman

Box 12, Folder 6

Bibliopolis, Del Franci, Klauspefers

Box 12, Folder 7

GK-Delgell Correspond

Box 12, Folder 8

Kreisel-AM Review

Box 12, Folder 9

H.F-G.K-MB Affair

Box 12, Folder 10

Selected Correspondence

Box 12, Folder 11

Letters from GH 1982 Jan 1 / Jul 1

Box 12, Folder 12

Courses 1992-1993

Box 12, Folder 13

M. Yaten in Turning Volume

Box 12, Folder 14

Rec'd May 19 1997-1998

Box 12, Folder 15

0 2017 Apr 20

Box 12, Folder 16

Copeland-Proudloof

Box 12, Folder 17

Letter from Jalen(?)

Box 12, Folder 18

Manders: What numbers are real?

Box 12, Folder 19

Miscellaneous Aut 1989-Winter 1990

Box 12, Folder 20

Rec'd 1990 Apr-May

Box 12, Folder 21

Things to Do / Mailings Summer 1990

Box 12, Folder 22

Things to Do 1990 Autumn

Box 12, Folder 23

Today's Mail 1990 Summer-Autumn

Box 12, Folder 24

Current! Correspondence 1981 Jan-Nov

Box 12, Folder 25

Assorted Correspondence

Box 12, Folder 26

Things To Do (Lists)

Box 12, Folder 27

Current / Priscilla-Action

Box 12, Folder 28

Assorted

Box 12, Folder 29

Action / General Correspondence 1988 Sep

Box 12, Folder 30

Action

Box 12, Folder 31

Priscilla-Do

Box 12, Folder 32

Correspondence 1998 Mar-Nov

Box 12, Folder 33

Current

Box 12, Folder 34

SHC

Box 12, Folder 35

Current Early 1989

Box 12, Folder 36

Emails 2012

Box 12, Folder 37

Aczel / Martin-Lof Theories with one Universe 1977

Box 12, Folder 38

Strahm-Unfolding NFA Draft II 1997 Jul

Box 12, Folder 39

French Correspondence de Rouillam / Sinaceur / Imbert

Box 12, Folder 40

Intentional Directory of Logicians Entry

Box 12, Folder 41

Harvey Friedman 60th B'day Conference Ohio State 209 May 14-17

Box 12, Folder 42

Part Three On Turning / 9. Turning's "Oracle": From Absolute to Relative Computability-and Back / 10. Turning in the Land of O(z)

Box 12, Folder 43

Metapredicativity Seminar / Background Notes 2010 Autumn

Box 12, Folder 44

Innovational in the Humanities Proposal

Box 12, Folder 45

Taski for Encyclopedia of Philosophy (Supplement)

Box 12, Folder 46

Logic Seminar 2012-2013

Box 12, Folder 47

Peter Koellner EFI Project Howard / My paper, Koellnen: critique / Comments for Workshop 2011-2012

Box 12, Folder 48

OSC + Math Practice Axs

Box 12, Folder 49

OST, etc

Box 13, Folder 1

Language and Axioms for Constructive and Definable Mathematics Proofs of Trials

Box 13, Folder 2

Elephant Feferman 20 Copes / Jan Stone / Faillace / S.F. Book

Box 13, Folder 3

Carnap on Explicit Maths

Box 13, Folder 4

Feferman Aczel / Lewr MS + Two Patters to Sief

Box 13, Folder 5

Beeson

Box 13, Folder 6

Constructive Theories of Functions and Classes (Mons Paper) / Some papers on Constrcitionalists

Box 13, Folder 7

Beeson

Box 13, Folder 8

Kreisel: Thinking About Man: Handware, Software, Wet Ware 1984 Apr 13

Box 13, Folder 9

Replete Furs, Furs

Box 13, Folder 10

Natural W.O.S / Nayhabet

Box 13, Folder 11

Notes on Ordinals

Box 13, Folder 12

Bachmawn-Isles Systems

Box 13, Folder 13

Levitz

Box 13, Folder 14

Ordinals

Box 13, Folder 15

Kreisel Alarallel between Wittgenstein's ways and works 1985

Box 13, Folder 16

Schutte Fest-75th B'day 1984 Jun 22-23

Box 13, Folder 17

The Lecture Notes ID Project

Box 13, Folder 18

Mons Lectures-Notes, etc

Box 13, Folder 19

Constructivity Correspondence

Box 13, Folder 20

Martin-Lof Jewell

Box 13, Folder 21

Beeson-Correspodence

Box 13, Folder 22

Notes on the Formalization of Bishop's Constructive Maths

Box 13, Folder 23

Proof Theory Course 293A+293B Lectures on Constructivists 1978

Box 13, Folder 24

Math 292B Constructivity in Algebra

Box 13, Folder 25

Constructive and Effective Algebra

Box 13, Folder 26

Phil Dept 2004-2005

Box 13, Folder 38

Tarski Book

Box 13, Folder 39

Backup Failed 2014 Dec 16

Box 14

Journals + Calendars

Box 16, Folder 1

NSF Grants 1957-1959

Box 16, Folder 2

Recursive Progressions Contract4

Box 16, Folder 3

NSF

Box 16, Folder 4

NSF

Box 16, Folder 5

NSF 1971-1974

Box 16, Folder 6

List of Meetings Attended 1957- Travels 1957

Box 16, Folder 7

Now!

Box 16, Folder 8

Now-Jun 203 2003 Jun

Box 16, Folder 9

Very Current 201-202 Today 2001-2002

Box 16, Folder 10

Schock Pringe

Box 16, Folder 11

Godel's Theorenm Nubds abd Nacgubes / UCB Sorubg 203 / Part II / Grades 2003

Box 16, Folder 12

U.C. Berkeley Spring 203 Visit Forms 2003

Box 16, Folder 13

Schock Pringe Events/Info / OSLO Oct. 19-25

Box 16, Folder 14

Schock Lecture

Box 16, Folder 15

Logic Methodology Group U.C. Gustory of -- + Students 1956-1960

Box 16, Folder 16

Faculty Report 2001-2002

Box 16, Folder 17

Polish Philosophers

Box 16, Folder 18

Tarski-Misc

Box 16, Folder 19

Anita-Warsaw LICS Talk 1997 Jun 29

Box 16, Folder 20

Templeton Foundation

Box 16, Folder 21

Templeton Proposal 2010

Box 16, Folder 22

Templeton Proposal

Box 16, Folder 23

Computation and Recurrsion Theses

Box 16, Folder 24

Templeton Foundation Grant 21231 Reports 2011-2013

Box 16, Folder 25

Predicativity

Box 16, Folder 26

Notes and Letters

Box 16, Folder 27

LMH Proposal 2008-2009

Box 16, Folder 28

The nature and significance of Godel's incompleteness Theorems / IAS, Princeton 2006 Nov 17

Box 16, Folder 29

Reviews of AT: L

Box 16, Folder 30

Lecture Transparencies / Talk / Moscow Conference + "Hyman meets Kleene" 1978 Aug 17-22

Box 16, Folder 31

Systems of Ordinal Rep/ For Metapredicativity 2010

Box 16, Folder 32

CST

Box 16, Folder 33

Godel Symposi, Salybeng + Acad. Sei. Symp.

Box 16, Folder 34

Mints Obit 2014

Box 16, Folder 35

Girand / Jewell

Box 16, Folder 36

Type-Free Papers

Box 17, Folder 1

Correspondence, Programs / Vienna 1993 Aug 22-23 / Buno 1993 Aug 23-27 [KGC 93] / Prague 1993 Aug 23-Sept 3 / Warsaw 1993 3-9 1993

Box 17, Folder 2

Randll Holmes

Box 17, Folder 3

KGS (K. Godel Society) Meetings/Invitations

Box 17, Folder 4

Douglas Brown

Box 17, Folder 5

Antonelli Recommendtions

Box 17, Folder 6

Boolos Conference-Notre Dame 1998 Apr 16-18

Box 17, Folder 7

20th World Congress of Philosophy Boston 1998 Aug 10-16

Box 17, Folder 8

AMS/MAA/ASL Mtg. San Diego 1996 Jan 1

Box 17, Folder 9

Cambridge Boolos Symposium ASL Meet Godel eds. Meet, 1997 Mar 21-25

Box 17, Folder 10

Uppersala Lecture 1996 Aug 18-21

Box 17, Folder 11

Godel's Dialectica Interpretation and its two-way stretch [Lecture for KGC 93 Buno-Aug 93] / Hodel correspond, Kreisel corresponence 1993 Aug

Box 17, Folder 12

FAX Vieuna

Box 17, Folder 13

Maison Suger

Box 17, Folder 14

CASBS/ Bellagio Forms 1995-1996

Box 17, Folder 15

Sabbagh

Box 17, Folder 16

Proof Theory Course Notes 293A 1985

Box 17, Folder 17

Bibliograpgic and Copyright Data for "In the Light of Logic" / Editorial Correspondence

Box 17, Folder 18

OUP-Promotion Today

Box 17, Folder 19

Contact with Pabeishens

Box 17, Folder 20

OUP Memo of Agreement Godel Works IV + V

Box 17, Folder 21

Kreisel's "unwinding" program + partial draft "apprenticeship of a logician"

Box 17, Folder 22

My route to Arithematization

Box 17, Folder 23

In the light of logic-original papers

Box 17, Folder 24

Part Four Proof Theoetical Tools: 11. What logic has to tell us about math proofs. 12. Three reviews in proof thery (Tarski, Shutte, Pranits) 13. What rests on what? The proof theory analysis of math. 14/ Godel's dialectica interp. And its two-way stretch

Box 17, Folder 25

Part Six: 18. Intensionality in Math 19. Between constructive and classical math

Box 17, Folder 26

WKL Elimination Notes

Box 17, Folder 27

WKL/WKL+ Dialectica

Box 17, Folder 28

Book / Wilfried Suggestions / Some relevant papers

Box 17, Folder 29

Book Ch IV-V

Box 17, Folder 30

Computation on ADTs Transparencies

Box 17, Folder 31

8th Gidel Lecture "Occupations and Preoccupations with Godel: his works and the work" ASL meet, Cambridge, MA + relevant papers 1997 Mar 22

Box 17, Folder 32

Intuition vs Monsters transparences, notes, correspondence / world congress of philosophy, Boston 1998

Box 17, Folder 33

"Logic, Logics, and Logicians" / Boolos Symposium Notre Dame / Transparencies 1998 Apr 15-18

Box 17, Folder 34

Roskilde Lecture Transparencies 1997 Oct

Box 17, Folder 35

Logics for Termination Correctness of Functional Programs (I) Transparencies

Box 17, Folder 36

Logics for Termination Correctness of Functional Programs (II) Strength PRA Leeds, Proof Theory Transparencies 1990

Box 17, Folder 37

Higher classes in Explicit Maths. Transparencies-Castiglioncello 1998 Oct

Box 17, Folder 38

Applicative Theories and Various types-Transparencies Lecture ESSLI 1997 Aug

Box 17, Folder 39

NSF Grants

Box 17, Folder 40

Meetings

 

Correspondence

Box 10, Folder 1

Handwritten Letters

Box 10, Folder 2

Handwritten Letters II

Box 10, Folder 3

Generalizing K-local Functions

Box 10, Folder 4

Reps of Ordinals-other people

Box 10, Folder 5

Cates Theory Correspondence

Box 10, Folder 6

Gen, Recu. Theory Unified Ind. Defense

Box 10, Folder 7

Grilliot Connectios between general of recur. Theory

Box 10, Folder 8

Gandy-Hyland / Kreisel Lecture

Box 10, Folder 9

PG -Smith Prelim Committee Work-Reviews

Box 10, Folder 10

Cecursion in Finite Types Feferman, Warien, Schwichtenberg, Herrington, McQueen

Box 10, Folder 11

Visits

Box 10, Folder 12

Correspondence Feferman 1973

Box 10, Folder 13

Handwritten Letters III

Box 10, Folder 14

Handwritten Letters IV 1967-1968

Box 10, Folder 15

Current 1983-1984

Box 10, Folder 16

Meetings-Trips 1983-1984

Box 10, Folder 17

Mailings 1987

Box 10, Folder 18

Mailing Lists

Box 10, Folder 19

Currnet / Refile 1979-1982

Box 10, Folder 20

Very Current-Unsorted / Refile 1982

Box 10, Folder 21

Ordinals / Proof Theory / Nice Talk (Correspondence) / Ordinals Talk 1970

Box 10, Folder 22

Carol Rovane / Patrick Suppes 2007

Box 10, Folder 23

Beeson / Cover Kreisel to Beeson

Box 10, Folder 24

Extended Model Theory + Etc

Box 10, Folder 25

ID- Project Correspondence

Box 10, Folder 26

Self-Ref Curry Paper / Fitch / Bouidw

Box 10, Folder 27

Fitch

Box 10, Folder 28

Original Type-Free I

Box 10, Folder 29

Cornell Letter 1990 Oct 25

Box 15, Folder 1

A.Church Letter "Turning in the land of O(z)"

Box 15, Folder 2

Refile

Box 15, Folder 3

ASL-Meeting Stanford / Logic-C.S-Linguistics / Paris Meet / Chicago 1985 Jul / 1986 Mar 22

Box 15, Folder 4

Talcott / Combrase Seminar Party

Box 15, Folder 5

Category Theory

Box 15, Folder 6

G.K.-Correspondence 1961-1962

Box 15, Folder 7

G.K Correspondence, etc 1962-1963

Box 15, Folder 8

GK Letters 1966

Box 15, Folder 9

G.K Correspondence 1966

Box 15, Folder 10

GK 1968-1969

Box 15, Folder 11

GK 1967-1968

Box 15, Folder 12

Misc. Letters

Box 15, Folder 13

C. 15 Business Misc 1971-1972

Box 15, Folder 14

0 1969-1971

Box 15, Folder 15

0 1974-1976

Box 15, Folder 16

0 1976-1979

Box 15, Folder 17

0 1978-1979

Box 15, Folder 18

Unlabeled 1979

Box 15, Folder 19

Sieg / Buchholy / Pohlens

Box 15, Folder 20

Nehes-Motolashu-Mukkas

Box 15, Folder 21

Barwise

Box 15, Folder 22

Sets and Classes with rely-membership / Category Theory

Box 15, Folder 23

To Kreisel

Box 15, Folder 24

Jenoslow-Larson

Box 15, Folder 25

Salbagh Letters, en / Frevich group

Box 15, Folder 26

Kreisel / GK / Correspond 1984

Box 15, Folder 27

0 1980-1984

 

Reprints

Box 8, Folder 1

Feferman Ph.D Dissertation UCD 1957 1957

Box 8, Folder 2

Fund. Math: The first order properties of poducts of algebraic systems w/Vaught

Box 8, Folder 3

Proof Theory Article for SEP

Box 8, Folder 4

JSL: Transtfinite Recursive Progressions of Aximatic Theories Avigad, Jeremy

Box 8, Folder 5

Abs Unsolved Probs Proof Sheets

Box 8, Folder 6

Weyl Vindicated: Das Kontinuem 70 Years Later

Box 8, Folder 7

Predicative Provability in Set Theory 1966

Box 8, Folder 8

Persistent and Invariant Forums… w/Kreisel 1966

Box 8, Folder 9

Autonomous Transfinite progressions and… 1968

Box 8, Folder 10

Comp Math: Persistent and Invariant Forumlas for Outer Extensions 1968

Box 8, Folder 11

JSL: Systems of Predicative Analysis, II, Representations of Orrdinals 1968

Box 8, Folder 12

Act, Cong. Int. Math.: Ordinals and Functional in Proof Theory 1970

Box 8, Folder 13

Hereditarily Replete Functionals Over the Ordinals 1970

Box 8, Folder 14

Formal Theories for Transfinite Iterations of Gen. IDS 1970

Box 8, Folder 15

Ordinals Associated with theories for one ID 1970

Box 8, Folder 16

Applictions of Many-sorted Interpolation Theorems 1974

Box 8, Folder 17

Predicatively Reducible Systems of Set Theory 1974

Box 8, Folder 18

Some Formal theories for the unlimited theory of structures and categories 1974

Box 8, Folder 19

Two notes on abstract model theory U 1974

Box 8, Folder 20

Fund. Math: Two notes on abstract model theory II 1975

Box 8, Folder 21

Indductive Schemata and Recursively Continuous Functionals 1976

Box 8, Folder 22

Impredicitivity of the Existence of the largest divisible subgroup… 1975

Box 8, Folder 23

Comparison of some type-free Semantic and Math Theories (draft) 1976

Box 8, Folder 24

Categorical Foundations and Foundation of Category Theory 1977

Box 8, Folder 25

Handbook of Math Logic: Theories of Finite Type Related to M. Practice 1977

Box 8, Folder 26

Generating Schemes for partial recursively continuous functionals 1977

Box 8, Folder 27

Comp Math: Recursion in Total Functionals of Finite Type 1977

Box 8, Folder 28

Essays on Math Phil. Logic: Generalizing Set-Theoretical Model Theory 1978

Box 8, Folder 29

The logic of mathematical discovery vs the logical structual of math 1978

Box 8, Folder 30

What does logic have to tell us about math proofs? 1979

Box 8, Folder 31

Proof Theory Schutte, Review 1979

Box 8, Folder 32

Godel's incompleteness Theoreums and the reflection closure of theories 1979

Box 8, Folder 33

Constructive Theories of Functions and Classes 1979

Box 8, Folder 34

Monotone Inductive Defintions 1982

Box 8, Folder 35

The logic of mathematical discovery vs the logical structual of math 1981

Box 8, Folder 36

Iterated Inductive Fixed-Point Theories: Application to Hancook's Conjecture 1982

Box 8, Folder 37

Inductively Presented Systems and the Formation of Metamathematics 1982

Box 8, Folder 38

Philos. Natur. Kurt Godel: Conviction and Caution 1984

Box 8, Folder 39

JSL, Toward Useful Type-Free Theories, I 1984

Box 8, Folder 40

Persp. In Math: Foundational Ways 1984

Box 8, Folder 41

Between Constructive and Classical Math 1984

Box 8, Folder 42

J. Of Phil. Logic: Intensionality in Math 1985

Box 8, Folder 43

Syntese: Working Foundations 1985

Box 8, Folder 44

Infinity in Math: Is Cantor Neccesary? 1987

Box 8, Folder 45

Weyl Dindicated: "Fas Kontinuum" 70 Years Later 1988

Box 8, Folder 46

JSL: Hilbert's Program Relativized : Proof-theoretical and… 1988

Box 8, Folder 47

Turning in the land of O(z) 1988

Box 8, Folder 48

Remarks for the "Trends in Logic" Panel Discussion 1989

Box 8, Folder 49

Finitary inductively presented logics 1989

Box 8, Folder 50

Infinity in Mathematics: Is Cantor Necessary? 1989

Box 8, Folder 51

Polymorphoc Typed Lambda-Calculi in a Type-Free Ax. Framework 1990

Box 8, Folder 52

JSL: Reflecting on Incompleteness 1991

Box 8, Folder 53

Logics for termination and corectness of functional programs 1992

Box 8, Folder 54

Logics for termination and corectness of functional programs, II. Logics and Strength PRA 1992

Box 8, Folder 55

Turning's "Oracle" 1992

Box 8, Folder 56

What rests on what? 1992

Box 8, Folder 57

Jean Van Heijenoort 1992

Box 8, Folder 58

A new approach to abstract data types, I Informal development 1992

Box 8, Folder 59

A new approach to abstract data types, II: Computation on ADTs as Ordinary Computation 1992

Box 8, Folder 60

Why a little bit goes a long way: Logical Foundations… 1993

Box 8, Folder 61

Logics for termination and correctness of functional programs, II. Logics of strength PRA 1993

Box 8, Folder 62

Working Foundations-91 1993

Box 8, Folder 63

Systems of EM with non-construction u-operator. Part 1 1993

Box 8, Folder 64

Julia Bowman Robinson 1919-1985 1994

Box 8, Folder 65

Definedness 1995

Box 8, Folder 66

APLA: Systems of Explicit Mathematics with non-constructive u-operator Part II 1996

Box 8, Folder 67

LMCS Tarski's Influence on Computer Science 1996

Box 8, Folder 68

In The Enc Of Phil. Supplement: Proof Theory 1996

Box 8, Folder 69

APAL: Computations on Abstract Data Types extensional approach 1996

Box 8, Folder 70

7th SLS: Three Conceptual Problems That Bug Me 1996

Box 8, Folder 71

Godel's Program for new axioms: Why, where, how, and what? 1996

Box 8, Folder 72

Kreisel's "Unwinding" Program 1996

Box 8, Folder 73

Challenges to Predicative Foundations of Arithmetic w/Hellman 1996

Box 8, Folder 74

Proof Theory Since 1960 1996

Box 8, Folder 75

8th Godel Lecture: Occupations and Preoccuptions with Godel: His Works and the work 1997

Box 8, Folder 76

Theoria: My Route To Arithimetization 1997

Box 8, Folder 77

Handbook of Proof Theory: "Dialectica" w/Avigad 1998

Box 8, Folder 78

Kurt Schutte's Way 1999

Box 8, Folder 79

NDJFL: Logic, Logics, and Logicism 1999

Box 8, Folder 80

BSL: In Memoriam: Kenneth Jon Barwise: 1942-2000 2000

Box 8, Folder 81

Highlights in Proof Theory 2000

Box 8, Folder 82

Does Reductive Proof Theory have a viable rationale? 2000

Box 8, Folder 83

Synthese: Mathematical Intution vs Mathematical Monsters 2000

Box 8, Folder 84

Proof Theory: Relationships between Constructive Predicative and Classical Systems of Analsysi 2000

Box 8, Folder 85

Proof Theory: The Significance of Weyl's "Das Kontiuum" 2000

Box 8, Folder 86

APAL: The Unfolding of Non-finitist Arithmetic W/Strahm 2000

Box 8, Folder 87

Rolf Schock Symp: Are there absolutely unsolable problems? 2003

Box 8, Folder 88

Alfred Tarski and a Watershed Meeting in Logic: Cornell, 1957 2003

Box 8, Folder 89

Comments on "Predicativity as a Phil. Position"" by G. Hellman 2004

Box 8, Folder 90

APAL: Tarski's Conception of Logic 2004

Box 8, Folder 91

In: 100 Years Of Russell's Paradox: Typical Amgiguity: Trying To Have Your Cake and Eat it Too 2004

Box 8, Folder 92

Storia Della Scienza: The development of programs… 2004

Box 8, Folder 93

Goldstein: Incompleteness: The Proof and Paradox of Kurt Godel Review 2005

Box 8, Folder 94

BSL: The Godel Editorial Project: A Synposis 2005

Box 8, Folder 95

Notices of the AMS: The impact of the incompleteness Theorems on Mathematics 2006

Box 8, Folder 96

What kind of logic is "Independence Friendly" logic? 2006

Box 8, Folder 97

Phil. Math: Are There Absolutely Unsolvable Problems? Godel's Dichotomy 2006

Box 8, Folder 98

Harmonious logic: Craig's interpolation theorem and its descendants 2008

Box 8, Folder 99

Dialectica: Lieber Herr Bernays!, Lieber Herr Godel! 2008

Box 8, Folder 100

J of Phil: Godel, Nagel, Minds and Machines 2009

Box 8, Folder 101

On the strength of semi-constructive theories 2010

Box 8, Folder 102

Ways of Proof Theory: The Proof Theory of Class and Constructive Inductive Defintions 2010

Box 8, Folder 103

FHCT'II: Two PhD Students for the Price of One 2011

Box 8, Folder 104

Enriched Stratified Systems for the Found of Category Theory 2011

Box 8, Folder 105

On Rereading Van Heijenoort's Selected Essays 2012

Box 8, Folder 106

Alan Turing: His Worked Impact: SF Returns to Turing's Thesis: Ordinal Logics 2013

Box 18

Reprints

 

Math Department

Box 2, Folder 1

Kreisel-C.V-Bibliography

Box 2, Folder 2

Kreisel-Zll Reviews

Box 2, Folder 3

Kreisel

Box 2, Folder 4

Kreisel Annotated

Box 2, Folder 5

Feferman

Box 2, Folder 6

Chapter 2 (Part 1, 3, 4, 5)

Box 2, Folder 7

Chapter 3-5 parts

Box 2, Folder 8

Fef-Mont. Notes

Box 2, Folder 9

What does logic have to tell us about math proofs?

Box 2, Folder 10

Feferman

Box 2, Folder 11

Model Theroetic Logics-Final

Box 2, Folder 12

Logic and Foundations Looping Back and Looping Forward

Box 2, Folder 13

Feferman

Box 2, Folder 14

Kreisel

Box 2, Folder 15

Kresiel-Predicatiuity

Box 5, Folder 1

75-Clermount-FD SIECIL / London, Ontario ICCMPS

Box 5, Folder 2

Jersulaem 1975 Dec

Box 5, Folder 3

A Language and Axioms for Explicit Mathematics 1974

Box 5, Folder 4

Orleans Meetings 1972 Sep

Box 5, Folder 5

Meetings Visists Fineland/Europe

Box 5, Folder 6

Reno-ASL Meetings

Box 5, Folder 7

Proof Theory / Friedman

Box 5, Folder 8

Kreisel Letters 1963-1965

Box 5, Folder 9

Kreisel Letters 1961-1965

Box 5, Folder 10

Pletek III

Box 5, Folder 11

Platek Thesis

Box 5, Folder 12

NSF Renewal

Box 5, Folder 13

NSF Orogress Report 1982 Oct

Box 5, Folder 14

NSF Proposal "Unfolding Schematic Formal Systems" 1997-2000

Box 5, Folder 15

Feferman Minutes Grants Proposal NSF 1995

Box 5, Folder 16

NSF Proposal Systems of Variable Type (With Maron and Talcott) 1993-1996

Box 5, Folder 17

NSF-Final Report 1998 Nov

Box 5, Folder 18

NSF-Joint with Talcott/Mason Prject Proposal 1995

Box 5, Folder 19

NSF-CCR93293 Progress Reports

Box 5, Folder 20

NSF Proposal Supplements Applications of Dialectics Interpretation

Box 5, Folder 21

Minutes/Feferman Proposal 1993-1995

Box 5, Folder 22

Mints NSF Proposal 1992

Box 5, Folder 23

SF NSF Proposals 1991 1986-1991

Box 5, Folder 24

NSF Gaul 1987-1989

Box 5, Folder 25

ARO

Box 5, Folder 26

ARO to 1967

Box 5, Folder 27

Group Meet File + Talks

Box 5, Folder 28

Kleene Neets AOA Meet

Box 5, Folder 29

Mailing Lists Logic People

Box 5, Folder 30

Fellowship Business

Box 5, Folder 31

Fellowship Applications

Box 6, Folder 1

Venter 1970

Box 6, Folder 2

Goodman

Box 6, Folder 3

Bishop-Harrison etc.

Box 6, Folder 4

Ch IV-W81

Box 6, Folder 5

Ch V-W81

Box 6, Folder 6

Jeroslow 1970-1971

Box 6, Folder 7

Larson

Box 6, Folder 8

Book / I, II, (Part) III-V

Box 6, Folder 9

Maths as objective subjectivity

Box 6, Folder 10

Ch I-W81

Box 6, Folder 11

Ch II-W81

Box 6, Folder 12

Ch III-Write 81

Box 6, Folder 13

Math Newsletter

Box 6, Folder 14

Engebnisse Editorial Sprine 1984-1986

Box 6, Folder 15

Engebnisse Editorial Work / Correspondences 1981-1983

Box 6, Folder 16

Crackpots Others

Box 6, Folder 17

Correspondence 1989

Box 6, Folder 18

MSRI-Logic Year 1989-1990

Box 6, Folder 19

Humanities Center Application

Box 6, Folder 20

Publications: Reprinted "in math" Philosophical Topics

Box 6, Folder 21

Feferman-Billet Status

Box 6, Folder 22

S.F Math-Philosophy Split of Position

Box 6, Folder 23

Faculty Annuel Report 2000-2001

Box 6, Folder 24

Annual Faculty Report 1986-1991

Box 6, Folder 25

C.V. / Bibliography

Box 6, Folder 26

Me-Stanford

Box 6, Folder 27

Fellowship Info

Box 6, Folder 28

Weyhrauch-Thesis

Box 6, Folder 29

Bernays Abhandlungen 1976

Box 6, Folder 30

Skolem 1922

Box 6, Folder 31

Skolem 1928

Box 6, Folder 32

Skolem 1929

Box 6, Folder 33

Skolem 1929

Box 6, Folder 34

Skolem 1938

Box 6, Folder 35

Skolem 1955

Box 6, Folder 36

Work on intuition VI Drafts

Box 6, Folder 37

Work on Intuition VI Hibbert

Box 6, Folder 38

Work on intuition IV Text

Box 6, Folder 39

Work on intution I

Box 9, Folder 1

Monk Appointment 1978

Box 9, Folder 2

Logic Position

Box 9, Folder 3

Grisha Mints / 3rd CSLI Workshop on Logic, Rationality Intelligent Interaction 2014

Box 9, Folder 4

Current Winter 1990

Box 9, Folder 5

Suppes, Pat Interview 1995 Apr 12

Box 9, Folder 6

Phil dept Logic Search 1991-1992

Box 9, Folder 7

Palmy Days For Logic at Stanford

Box 9, Folder 8

Logic Curriculum-Philosophy and Math

Box 9, Folder 9

Logic Memo 1993 Mar

Box 9, Folder 10

Finn Case-Deposition 1991 Jul 26

Box 9, Folder 11

History of Logic Positions at Stanford

Box 9, Folder 12

History of Logic Positions at Stanford

Box 9, Folder 13

Logic Curriculum-Philosophy Dept 2000-201

Box 9, Folder 14

Philosophy Dept Needs Assessments Logical Program 2001-2002

Box 9, Folder 15

Phil 168/268 Theories of Truth Winter 1998

Box 9, Folder 16

Phil 168/268 Handouts

Box 9, Folder 17

Phil 168/268 Theories of Truth Spring 2000

Box 9, Folder 18

Phil 290.5 Theories of Truth Seminar U.C. Berkeley Spring 2003

Box 9, Folder 19

Phil 12: Godel's Theorem, Minds and Machine, Autumn 2000

Box 9, Folder 20

Phil 12: Godel's Theorem, Minds and Machine, Autumn Notes and Materials 2001

Box 9, Folder 21

Godel's Theorem Minds and Machine U.C Berkeley Spring Semester Lecture Notes taken by Chris Wilson 2003

Box 9, Folder 22

Phil 12: Godel's Theorem, Minds and Machine, Misc

Box 9, Folder 23

MIT 1967-1968

Box 9, Folder 24

Logic Seminar W15-Phil 391-9 / w15 Math 391-1 Formal Semantics 2015

Box 9, Folder 25

Logic Seminar Aut 214-215

Box 9, Folder 26

Logic Seminar Fall 2015

Box 9, Folder 27

E.W Beth Lectures Mar 1990

Box 9, Folder 28

F. Fest 1998 Dec 11-13

Box 9, Folder 29

Reflections

Box 9, Folder 30

Logic Program

Box 9, Folder 31

Phil 168/268 Theories of Trut

 

Audiovisual Material

Box 13

Tarski 2006 Lecture 2 / Solomon Fefferman "The 'Logic' Question" 13_01

Physical Description: 1 optical disc(s) (cd)
Box 13

Tarski 2006 Lecture 1 / Solomon Feferman "Truth Unbound" 13_02

Physical Description: 1 optical disc(s) (cd)
Box 13

Personal - Family, garden, Recipes, taxes, dreams… 13_03 1990 July 3

Physical Description: 1 Micro floppydisk
Box 13

Tarski 2006 Lecture 3 / Solomon Feferman "Real Computation" 13_04

Physical Description: 1 optical disc(s) (cd)
Box 13

Schock Photos 13_05

Physical Description: 1 optical disc(s) (cd)
Box 13

Feferman Disk / #3 13_06

Physical Description: 2 optical disc(s) (cd)
Box 13

Sol's Disks / HP DeskJet 970C Series 13_07 2002 Nov 23

Physical Description: 2 optical disc(s) (cd)
Box 13

Copy of Anita's "New World" All Tarski Stuff / All personal stuff 13_08 1998 July 6 / Jan 4

Physical Description: 1 zip disk(s)
Box 13

Files from Eudera (1) DSS Personal Information 13_09

Physical Description: 1 floppy disk(s) (3.5 inch)
Box 13

Copied Folders on / Papers / Recommendations / Tarski files / Godel and Tarski 13_10 2003 Jan 4

Physical Description: 1 zip disk(s)
Box 13

Folders: Papers, Reccommendations, Tarski Files… 13_11 2001 March 1

Physical Description: 1 zip disk(s)
Box 19

Feferfest - Sol's 70th Birthday 19_01 1998 Dec

Physical Description: 1 audiocassette(s)
Box 19

Feferman (3) Reflections 19_02

Physical Description: 1 audiocassette(s)
Box 19

Feferman (II) Reflections on Relationship between Constructive predicative and classical analysis 19_03 1997 Nov 1

Physical Description: 1 audiocassette(s)
Box 19

Feferman II The Significance of Herman Weyl's Das Konfinunums 19_04 1997 Oct 31

Physical Description: 1 audiocassette(s)
Box 19

A. Barwise etal on CSLI - Polya Hall 19_05 1983 Sep 1

Physical Description: 1 audiocassette(s)
Box 19

Feferman Lecture 1: Highlights in Proof Theory Hilbert's First Formation 19_06 1997 Oct 31

Physical Description: 1 audiocassette(s)
Box 19

ASL Symp. On Phils. Signal of Godel's Inc. Theorems: Tape I 19_07 1965 April 29-30

Physical Description: 1 audiocassette(s)
Box 19

Sol on Do We Need New Axioms 19_08

Physical Description: 1 audiocassette(s)