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.