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

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

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

Book Series Extra Letters, 1981

ASL Membership Committee, 1977-1982

Journal of Symbolic Logic (JSL) Current, 1982

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

ASL Book series-Boston, 1982-1983

AMS/ASL Translations Subcommittee, 1980-1982

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

ASL: Editorial Board- Abstracts Format, 1980-1982

European Committee for Logic, 1980-1982

ASL Prize & Awards, 1978-1982

Broadening-Letters to the Council, 1982

Interned Polish Logicians, 1981-1982

Proposal: Latin American Symposium, 1982-1983

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

IUHPS/DLMPS-Salzburg Meeting, 1983

ASL (Active)-Pending, 1978-1979

Main Files, 1978-1979

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

ASL-Bulletin of Information, 1980-1981

ASL-Bulletin of Information II, 1983

ASL Council Minutes, 1983 January 7-8

ASL-Correspondence, 1982

ASL,1981-1982

Ruth Barcan Marcus-Correspondence, 1982-1983

ASL New Business,1983

NSF Travel Grant to Salzburg Meeting, 1982

ASL-Final Work, 1981-1983

ASL Correspondence (II), 1982-1983

ASL Correspondence (III), 1982-1983

ASL-Council Meeting, 1983 December 29-30

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

ASL-Nominations, 1985

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

Typical Ambiguity

Category Theory In Explicit Maths. "Collections approach"

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

Lukasiewicz Correspondence 1948-1951

Tarshi-Some e-email responses

Tarski: ABC Lists

Tarski Database

Foundations of Explicit Maths. Chapters in papers 211-212

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

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

Foundation of Explicit Mathematics Contents

Computation and Recurrsion

Notes for Chapter 2 "Fixing Frege" by John Bungers

Preface / Papers

Conviction and Caution-Responses

Conviction and Caution-Original + Comments

Tausshey-Todd / Meuger / Koehler

Godel 1931C

Type Symbols for YK 1931C

Papers + Refs

Godel-Life and Work-Responses

Commentaries on my chapter Godel Life and Word

Godel Life-Notes

Godel Biography-Early Version

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

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

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

Cleramont-Fernand Tutorials 1994 Jul

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

Quine Memorial Symposium 201 Jan 26

Quine Transparencies

Lectures, Transparencies "Does Mathmatics Need New Axioms?"

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

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

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

Hilbert's Program Symposium 1985 Dec 29

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

UC Irvine visit 1999 Oct 18-23

From Problem Driven Logic to Use Driven Logic

Comments on Encylopedia Iraliara Article on Foundations of Programs

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

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

Browwer Meet 1981 Jun 7-13

McCarthy Photos

Meetups/People-Personal

Metamath Lecture Notes 1-15 1961-1962

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

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

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

Meetings 2000-2001

Ondimals-Notes and papers to take

Conservation results for theories with choice and comprehension princniple

Assorted Proof Theory Notes Atrp-higs

Columbia Papers

291A

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

Feferman ATR 2017 Dec 2

Lecture on Set Theory 1978

Set Theory Notes

Set Theory Math 292B Notes 1993-1994

Set Theory Math 292A Notes 1993-1994

Phil 162 Philosophy of Mathematics

Logic Societies Groups Newsletters, Info, Emails

Book Shetehan for analysis misc.

Math 294 Section Notes

AC vs CA in Subsystems of Analysis

Work. Founding Metamath

Itenated ID and ID

Kreisel

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

Predicativity-Papers, Source 1976

Model Theory Notes

290A

Applied Proof Theory 293A

Notes on Proof Theory / Ondimal Notation For Munnich

Predicative Syetems-Proofs of results

Iremeted ID's

Predecativity Re-Examined

Handbook

Use of Functional Models in Analysis / Impredicative Theorums

Formal Systems of Analysis Seminar

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

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

Philosophy of Mathematics-Drafts, comments

Math-in-W?

Light of Logic (Things to check)

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

Macmillan "Proof Theory Since 1960" Proof Sheets

Proof Theory since 1960 (MacMillian Encyc)

Bungers Encyc. Phil

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

Challenges to PFA / Fefferman Hellman II

A George Vellman / Hellman Feferman

Sam Sebastian Meeting 1990 Sep 25-29

Aarhus Info / Copenhagen Map

BRICS Workshop PTAC 1998 Aug 3-7

Intuitions vs Monsters XX WCP Lecture Boston 1998 Aug 11

Kevin Stark Endangered Dreams / Scott Soaemen Understanding Truth 1996

Seuina Today

Ah Chu!

Current Travel Plans

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

Operational Set Theory WOLLIC Transpariencies 2006

Operational Theories of Sets

CST

Constructive Theories of Functions and Classes

Against Type Theory

Berne Visist 1997 Jun 16-23

Ferferman-Jagen-Systems of EM with M/I

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

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

ESSLIT Lectures Applicative Theories and Variable Types 1997

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

Mahlo Universes / Friendman Coquared

Metamathematics Lecture Notes 1961-1962

Lectures on … 293 1978

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

Munnich Lecture Kurt Schutte's Way 1999 Nov 5

Reshiefed EM, Feferman-Jagen work

Brono-KG Re Finitism 1996

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

Prposal for a predicativity collection

Predicativity: Problems and Prospects

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

Tanskue's Conception of Logic / Tarski Cemtenary

Logical Form and Logical Constants UC Irvine

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

Hiutikke Papers

Paris-Lecture 1990 Mar 14

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

Logic and Computation Conference Pittsburg 1987 Jun 30-Jul 2

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

La Rechenche Article

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

Paris Visit 1992 Mar 15-Apr 13

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

Will o the wisp Talk

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

Open-Ended Schematic Ax. Systems ASL Lecture-Stanford

Truth Unfounded Transparencies

Puflicatious Lists + Past lists

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

Turing Machines Lectures Notes and Transparencies

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

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

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

Feferman Chapters III

Chapters IV-I-

Chapter V-Larson

Book Feferman

Fefernab Cgaoters I-1-I-55

Chapters II Feferman Math, Dept

Chapters II Feferman Math, Dept

Tait Misc

S.F 1st Class

Refile-School

Itenated ID and FP Theories

Tucker Zucker

Feferman Metamath SSO-15 1961-1962

Course Notes Generalization of Recurion Theory 1970-1971

Metamath Notes SS 16-29 1961-1962

Recursion Theory / Jyvaskala meet / Oxford meet 1976

Meetings Past

Msothes

Enc. Britannica Article / Dubueatents

Logic DIV

Kreisel-Howard BI + TI + Continuity / Booh Publ

Meeting Visits

Tarsku meeting / Tarski Symposium 1971

Annual Faculty Report 1986

Stanford Salary Stuff w/Rosse-Spring 1982

Schutte

Meetings

Misc Feferman

Phil Dept. 2001-2002

Currents

Today / Current Spring-Dec 1999

Today

Now! 1998-Spring 1999

Project Description Copies

Vaught Memorial 2002 Jun 2

Turning Works

In the Light of Logic, Reviews + Connections

CV Publications Bio

Feferman CV Bio

Tarski Questionnaires Interviews File, etc

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

Chapters-Paper Transparencies 2012 Oct 11

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

Cal Tech Meetings Abstracts 1996 Nov 15-17

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

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

References

History of The Logic Position Stanford Math Dept.

ASL

Aachem Talk 1983

Paris Talk / M. Logic Seminar 1981

NSF Proposal 1976

NSF Proposal References / Krisel papers

Letter from Anthony Will

Letter from Jaroslaw Kozak

Recent and Not So Recent

Hauser, Arana, Schimanovich

Reactions to Rome Paper: Quine, Friedman

Bibliopolis, Del Franci, Klauspefers

GK-Delgell Correspond

Kreisel-AM Review

H.F-G.K-MB Affair

Selected Correspondence

Letters from GH 1982 Jan 1 / Jul 1

Courses 1992-1993

M. Yaten in Turning Volume

Rec'd May 19 1997-1998

0 2017 Apr 20

Copeland-Proudloof

Letter from Jalen(?)

Manders: What numbers are real?

Miscellaneous Aut 1989-Winter 1990

Rec'd 1990 Apr-May

Things to Do / Mailings Summer 1990

Things to Do 1990 Autumn

Today's Mail 1990 Summer-Autumn

Current! Correspondence 1981 Jan-Nov

Assorted Correspondence

Things To Do (Lists)

Current / Priscilla-Action

Assorted

Action / General Correspondence 1988 Sep

Action

Priscilla-Do

Correspondence 1998 Mar-Nov

Current

SHC

Current Early 1989

Emails 2012

Aczel / Martin-Lof Theories with one Universe 1977

Strahm-Unfolding NFA Draft II 1997 Jul

French Correspondence de Rouillam / Sinaceur / Imbert

Intentional Directory of Logicians Entry

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

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

Metapredicativity Seminar / Background Notes 2010 Autumn

Innovational in the Humanities Proposal

Taski for Encyclopedia of Philosophy (Supplement)

Logic Seminar 2012-2013

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

OSC + Math Practice Axs

OST, etc

Language and Axioms for Constructive and Definable Mathematics Proofs of Trials

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

Carnap on Explicit Maths

Feferman Aczel / Lewr MS + Two Patters to Sief

Beeson

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

Beeson

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

Replete Furs, Furs

Natural W.O.S / Nayhabet

Notes on Ordinals

Bachmawn-Isles Systems

Levitz

Ordinals

Kreisel Alarallel between Wittgenstein's ways and works 1985

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

The Lecture Notes ID Project

Mons Lectures-Notes, etc

Constructivity Correspondence

Martin-Lof Jewell

Beeson-Correspodence

Notes on the Formalization of Bishop's Constructive Maths

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

Math 292B Constructivity in Algebra

Constructive and Effective Algebra

Phil Dept 2004-2005

Tarski Book

Backup Failed 2014 Dec 16

Journals + Calendars

NSF Grants 1957-1959

Recursive Progressions Contract4

NSF

NSF

NSF 1971-1974

List of Meetings Attended 1957- Travels 1957

Now!

Now-Jun 203 2003 Jun

Very Current 201-202 Today 2001-2002

Schock Pringe

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

U.C. Berkeley Spring 203 Visit Forms 2003

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

Schock Lecture

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

Faculty Report 2001-2002

Polish Philosophers

Tarski-Misc

Anita-Warsaw LICS Talk 1997 Jun 29

Templeton Foundation

Templeton Proposal 2010

Templeton Proposal

Computation and Recurrsion Theses

Templeton Foundation Grant 21231 Reports 2011-2013

Predicativity

Notes and Letters

LMH Proposal 2008-2009

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

Reviews of AT: L

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

Systems of Ordinal Rep/ For Metapredicativity 2010

CST

Godel Symposi, Salybeng + Acad. Sei. Symp.

Mints Obit 2014

Girand / Jewell

Type-Free Papers

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

Randll Holmes

KGS (K. Godel Society) Meetings/Invitations

Douglas Brown

Antonelli Recommendtions

Boolos Conference-Notre Dame 1998 Apr 16-18

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

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

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

Uppersala Lecture 1996 Aug 18-21

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

FAX Vieuna

Maison Suger

CASBS/ Bellagio Forms 1995-1996

Sabbagh

Proof Theory Course Notes 293A 1985

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

OUP-Promotion Today

Contact with Pabeishens

OUP Memo of Agreement Godel Works IV + V

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

My route to Arithematization

In the light of logic-original papers

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

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

WKL Elimination Notes

WKL/WKL+ Dialectica

Book / Wilfried Suggestions / Some relevant papers

Book Ch IV-V

Computation on ADTs Transparencies

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

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

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

Roskilde Lecture Transparencies 1997 Oct

Logics for Termination Correctness of Functional Programs (I) Transparencies

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

Higher classes in Explicit Maths. Transparencies-Castiglioncello 1998 Oct

Applicative Theories and Various types-Transparencies Lecture ESSLI 1997 Aug

NSF Grants

Meetings

Handwritten Letters

Handwritten Letters II

Generalizing K-local Functions

Reps of Ordinals-other people

Cates Theory Correspondence

Gen, Recu. Theory Unified Ind. Defense

Grilliot Connectios between general of recur. Theory

Gandy-Hyland / Kreisel Lecture

PG -Smith Prelim Committee Work-Reviews

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

Visits

Correspondence Feferman 1973

Handwritten Letters III

Handwritten Letters IV 1967-1968

Current 1983-1984

Meetings-Trips 1983-1984

Mailings 1987

Mailing Lists

Currnet / Refile 1979-1982

Very Current-Unsorted / Refile 1982

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

Carol Rovane / Patrick Suppes 2007

Beeson / Cover Kreisel to Beeson

Extended Model Theory + Etc

ID- Project Correspondence

Self-Ref Curry Paper / Fitch / Bouidw

Fitch

Original Type-Free I

Cornell Letter 1990 Oct 25

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

Refile

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

Talcott / Combrase Seminar Party

Category Theory

G.K.-Correspondence 1961-1962

G.K Correspondence, etc 1962-1963

GK Letters 1966

G.K Correspondence 1966

GK 1968-1969

GK 1967-1968

Misc. Letters

C. 15 Business Misc 1971-1972

0 1969-1971

0 1974-1976

0 1976-1979

0 1978-1979

Unlabeled 1979

Sieg / Buchholy / Pohlens

Nehes-Motolashu-Mukkas

Barwise

Sets and Classes with rely-membership / Category Theory

To Kreisel

Jenoslow-Larson

Salbagh Letters, en / Frevich group

Kreisel / GK / Correspond 1984

0 1980-1984

Feferman Ph.D Dissertation UCD 1957 1957

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

Proof Theory Article for SEP

JSL: Transtfinite Recursive Progressions of Aximatic Theories Avigad, Jeremy

Abs Unsolved Probs Proof Sheets

Weyl Vindicated: Das Kontinuem 70 Years Later

Predicative Provability in Set Theory 1966

Persistent and Invariant Forums… w/Kreisel 1966

Autonomous Transfinite progressions and… 1968

Comp Math: Persistent and Invariant Forumlas for Outer Extensions 1968

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

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

Hereditarily Replete Functionals Over the Ordinals 1970

Formal Theories for Transfinite Iterations of Gen. IDS 1970

Ordinals Associated with theories for one ID 1970

Applictions of Many-sorted Interpolation Theorems 1974

Predicatively Reducible Systems of Set Theory 1974

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

Two notes on abstract model theory U 1974

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

Indductive Schemata and Recursively Continuous Functionals 1976

Impredicitivity of the Existence of the largest divisible subgroup… 1975

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

Categorical Foundations and Foundation of Category Theory 1977

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

Generating Schemes for partial recursively continuous functionals 1977

Comp Math: Recursion in Total Functionals of Finite Type 1977

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

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

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

Proof Theory Schutte, Review 1979

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

Constructive Theories of Functions and Classes 1979

Monotone Inductive Defintions 1982

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

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

Inductively Presented Systems and the Formation of Metamathematics 1982

Philos. Natur. Kurt Godel: Conviction and Caution 1984

JSL, Toward Useful Type-Free Theories, I 1984

Persp. In Math: Foundational Ways 1984

Between Constructive and Classical Math 1984

J. Of Phil. Logic: Intensionality in Math 1985

Syntese: Working Foundations 1985

Infinity in Math: Is Cantor Neccesary? 1987

Weyl Dindicated: "Fas Kontinuum" 70 Years Later 1988

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

Turning in the land of O(z) 1988

Remarks for the "Trends in Logic" Panel Discussion 1989

Finitary inductively presented logics 1989

Infinity in Mathematics: Is Cantor Necessary? 1989

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

JSL: Reflecting on Incompleteness 1991

Logics for termination and corectness of functional programs 1992

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

Turning's "Oracle" 1992

What rests on what? 1992

Jean Van Heijenoort 1992

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

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

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

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

Working Foundations-91 1993

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

Julia Bowman Robinson 1919-1985 1994

Definedness 1995

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

LMCS Tarski's Influence on Computer Science 1996

In The Enc Of Phil. Supplement: Proof Theory 1996

APAL: Computations on Abstract Data Types extensional approach 1996

7th SLS: Three Conceptual Problems That Bug Me 1996

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

Kreisel's "Unwinding" Program 1996

Challenges to Predicative Foundations of Arithmetic w/Hellman 1996

Proof Theory Since 1960 1996

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

Theoria: My Route To Arithimetization 1997

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

Kurt Schutte's Way 1999

NDJFL: Logic, Logics, and Logicism 1999

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

Highlights in Proof Theory 2000

Does Reductive Proof Theory have a viable rationale? 2000

Synthese: Mathematical Intution vs Mathematical Monsters 2000

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

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

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

Rolf Schock Symp: Are there absolutely unsolable problems? 2003

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

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

APAL: Tarski's Conception of Logic 2004

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

Storia Della Scienza: The development of programs… 2004

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

BSL: The Godel Editorial Project: A Synposis 2005

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

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

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

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

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

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

On the strength of semi-constructive theories 2010

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

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

Enriched Stratified Systems for the Found of Category Theory 2011

On Rereading Van Heijenoort's Selected Essays 2012

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

Reprints

Kreisel-C.V-Bibliography

Kreisel-Zll Reviews

Kreisel

Kreisel Annotated

Feferman

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

Chapter 3-5 parts

Fef-Mont. Notes

What does logic have to tell us about math proofs?

Feferman

Model Theroetic Logics-Final

Logic and Foundations Looping Back and Looping Forward

Feferman

Kreisel

Kresiel-Predicatiuity

75-Clermount-FD SIECIL / London, Ontario ICCMPS

Jersulaem 1975 Dec

A Language and Axioms for Explicit Mathematics 1974

Orleans Meetings 1972 Sep

Meetings Visists Fineland/Europe

Reno-ASL Meetings

Proof Theory / Friedman

Kreisel Letters 1963-1965

Kreisel Letters 1961-1965

Pletek III

Platek Thesis

NSF Renewal

NSF Orogress Report 1982 Oct

NSF Proposal "Unfolding Schematic Formal Systems" 1997-2000

Feferman Minutes Grants Proposal NSF 1995

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

NSF-Final Report 1998 Nov

NSF-Joint with Talcott/Mason Prject Proposal 1995

NSF-CCR93293 Progress Reports

NSF Proposal Supplements Applications of Dialectics Interpretation

Minutes/Feferman Proposal 1993-1995

Mints NSF Proposal 1992

SF NSF Proposals 1991 1986-1991

NSF Gaul 1987-1989

ARO

ARO to 1967

Group Meet File + Talks

Kleene Neets AOA Meet

Mailing Lists Logic People

Fellowship Business

Fellowship Applications

Venter 1970

Goodman

Bishop-Harrison etc.

Ch IV-W81

Ch V-W81

Jeroslow 1970-1971

Larson

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

Maths as objective subjectivity

Ch I-W81

Ch II-W81

Ch III-Write 81

Math Newsletter

Engebnisse Editorial Sprine 1984-1986

Engebnisse Editorial Work / Correspondences 1981-1983

Crackpots Others

Correspondence 1989

MSRI-Logic Year 1989-1990

Humanities Center Application

Publications: Reprinted "in math" Philosophical Topics

Feferman-Billet Status

S.F Math-Philosophy Split of Position

Faculty Annuel Report 2000-2001

Annual Faculty Report 1986-1991

C.V. / Bibliography

Me-Stanford

Fellowship Info

Weyhrauch-Thesis

Bernays Abhandlungen 1976

Skolem 1922

Skolem 1928

Skolem 1929

Skolem 1929

Skolem 1938

Skolem 1955

Work on intuition VI Drafts

Work on Intuition VI Hibbert

Work on intuition IV Text

Work on intution I

Monk Appointment 1978

Logic Position

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

Current Winter 1990

Suppes, Pat Interview 1995 Apr 12

Phil dept Logic Search 1991-1992

Palmy Days For Logic at Stanford

Logic Curriculum-Philosophy and Math

Logic Memo 1993 Mar

Finn Case-Deposition 1991 Jul 26

History of Logic Positions at Stanford

History of Logic Positions at Stanford

Logic Curriculum-Philosophy Dept 2000-201

Philosophy Dept Needs Assessments Logical Program 2001-2002

Phil 168/268 Theories of Truth Winter 1998

Phil 168/268 Handouts

Phil 168/268 Theories of Truth Spring 2000

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

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

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

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

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

MIT 1967-1968

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

Logic Seminar Aut 214-215

Logic Seminar Fall 2015

E.W Beth Lectures Mar 1990

F. Fest 1998 Dec 11-13

Reflections

Logic Program

Phil 168/268 Theories of Trut

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

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

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

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

Schock Photos 13_05

Feferman Disk / #3 13_06

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

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

Files from Eudera (1) DSS Personal Information 13_09

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

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

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

Feferman (3) Reflections 19_02

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

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

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

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

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

Sol on Do We Need New Axioms 19_08

Websites 2017-06-07

view online item