Solomon Feferman Papers SC0907

http://oac.cdlib.org/findaid/ark:/13030/kt7n39s5bv Online items available

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 [email protected] URL: http://library.stanford.edu/spc Note This encoded finding aid is compliant with Stanford EAD Best Practice Guidelines, Version 1.0.

Guide to the Solomon Feferman SC0907 1 papers SC0907 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

Guide to the Solomon Feferman SC0907 2 papers SC0907 Papers Accession ARCH-2008-227

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

Guide to the Solomon Feferman SC0907 3 papers SC0907 Additional Papers Accession ARCH-2018-045 Publications Talks

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

Guide to the Solomon Feferman SC0907 4 papers SC0907 Additional Papers Accession ARCH-2018-045 Publications Talks

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

Guide to the Solomon Feferman SC0907 5 papers SC0907 Additional Papers Accession ARCH-2018-045 Professional

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

Guide to the Solomon Feferman SC0907 6 papers SC0907 Additional Papers Accession ARCH-2018-045 Professional

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

Guide to the Solomon Feferman SC0907 7 papers SC0907 Additional Papers Accession ARCH-2018-045 Professional

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

Guide to the Solomon Feferman SC0907 8 papers SC0907 Additional Papers Accession ARCH-2018-045 Professional

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

Guide to the Solomon Feferman SC0907 9 papers SC0907 Additional Papers Accession ARCH-2018-045 Professional

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

Guide to the Solomon Feferman SC0907 10 papers SC0907 Additional Papers Accession ARCH-2018-045 Correspondence

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

Guide to the Solomon Feferman SC0907 11 papers SC0907 Additional Papers Accession ARCH-2018-045 Reprints

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

Guide to the Solomon Feferman SC0907 12 papers SC0907 Additional Papers Accession ARCH-2018-045 Reprints

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

Guide to the Solomon Feferman SC0907 13 papers SC0907 Additional Papers Accession ARCH-2018-045 Math Department

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

Guide to the Solomon Feferman SC0907 14 papers SC0907 Additional Papers Accession ARCH-2018-045 Math Department

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)

Guide to the Solomon Feferman SC0907 15 papers SC0907 Additional Papers Accession ARCH-2018-045 Audiovisual Material

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)

Websites 2017-06-07

Guide to the Solomon Feferman SC0907 16 papers SC0907