


The UC Irvine Libraries support
the Chancellor's Distinguished Fellows Series by providing a bibliography
of the works of each Fellow. The bibliographies are available in print
at the Langson and Science Libraries and at each public event.
1999  2000
Series
Solomon Feferman
UC Irvine Chancellor's Distinguished Fellow
A Selective Bibliography: The UC Irvine Libraries
October 20, 1999
Eddie Yeghiayan
Philosophy
and Logic & Philosophy of Science Bibliographer
The UC Irvine Libraries
Books

The Number Systems: Foundations of Algebra and Analysis. AddisonWesley
Series in Mathematics. Reading, Mass.: AddisonWesley,
1964.

The Number Systems: Foundations of Algebra and Analysis. 2nd
edition. New York: Chelsea, 1989.

In the Light of Logic. Logic and Computation in Philosophy. New
York: Oxford University Press, 1998.
Works Edited

Edited with Jon Barwise. ModelTheoretic Logics. Perspectives
in Mathematical Logic. New York:
SpringerVerlag, 1985.

Edited (with J.W. Dawson, Jr., S.C. Kleene, G.H. Moore, R.M. Solovay,
and Jean van Heijenoort.)
Kurt Gödel's Collected Works. Vol.
1: Publications 19291936. Oxford: Clarendon Press; New York: Oxford University
Press, 1986.
UCI Science Library QA9 G5313 1986 Bar

Edited (with J.W. Dawson, Jr., S.C. Kleene, G.H. Moore, R.M. Solovay,
and Jean van Heijenoort.) Kurt Gödel's Collected Works. Volume
II: Publications 19381974. Oxford: Clarendon Press; New York: Oxford
University Press, 1990.
UCI Science Library QA9 G5313 1986

Edited (with John W. Dawson, Jr., Warren Goldfarb, Charles Parsons and
Robert M. Solovay.) Kurt Gödel's Collected Works. Volume III:
Unpublished Essays and Lectures. Oxford: Clarendon Press; New York:
Oxford University Press,
1995.
UCI Science Library QA9 G5313 1986 Bar

Edited (with Sergei Artemov, George Boolos, Erwin Engeler, Gerhard
Jäger, and Albert Visser.) "Invited papers presented at the Conference
on Proof Theory, Provability Logic, and Computation, March 2024, 1994, Berne,
Switzerland." issue of Annals of Pure and
Applied Logic (September 12, 1995), 75(12).
UCI Science Library BC135 A4 Drum

Edited, with a Foreword, Julia Robinson's Collected Works. Providence,
RI: American Mathematical Society, 1996.
Essays in Books

"Some Applications of the Notions of Forcing and Generic Sets:
Summary." In J.W. Addison, Leon Henkin and Alfred Tarski, eds., The
Theory of Models: Proceedings, pp. 8995. International Symposium
on the Theory of Models, 1963, Berkeley, Calif. Studies in Logic and
the Foundations of Mathematics. Amsterdam: NorthHolland, 1965.
UCI Main Lib BC135 I586 1963

"Autonomous Transfinite Progressions and the Extent of Predicative
Mathematics." In B. Van Rootselaar and J. F. Staal, eds., Logic,
Methodology and Philosophy of Science III: Proceedings of the Third International
Congress for Logic, Methodology and Philosophy of Science, Amsterdam
1967, pp. 121135.
Amsterdam: NorthHolland, 1968.
UCI Science Library Q175 I535 1967 Bar

"Lectures on Proof Theory." In M.H. Löb, ed., Proceedings
of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study
Institute, Meeting of the Association for Symbolic
Logic, pp. 1107.
Lecture Notes in Mathematics, 70. Berlin & New York: SpringerVerlag,
1968.
UCI Science Library QA3 L28 no. 70 Bar

"SetTheoretical Foundations of Category Theory. (With an Appendix
by G. Kreisel." In S. MacLane, ed., Reports of the Midwest Category
Seminar III, pp. 201247. Lecture Notes in Mathematics, 106. Berlin & New
York: Springer, 1969.
UCI Science Library QA3 L28 no. 106 Bar

"Formal Theories for Transfinite Iterations of Generalized Inductive
Definitions and Some Subsystems of Analysis." In A. Kino, J. Myhill
and R. E. Vesley, eds., Intuitionism and Proof Theory: Proceedings
of the Summer
Conference at Buffalo, N.Y., 1968, pp. 303326. Conference on Intuitionism
and Proof Theory, 1968, State University of New York at Buffalo. Studies in Logic
and the Foundations of Mathematics. Amsterdam: NorthHolland, 1970.
UCI Science Library QA9 C742 1968 Bar

"Hereditarily Replete Functionals over the Ordinals." In A.
Kino, J. Myhill and R. E. Vesley, eds., Intuitionism and Proof Theory:
Proceedings of the Summer
Conference at Buffalo, N.Y., 1968, pp. 289301. Conference on Intuitionism
and Proof Theory, 1968, State University of New York at Buffalo. Studies in Logic
and the Foundations of Mathematics. Amsterdam: NorthHolland, 1970.
UCI Science Library QA9 C742 1968 Bar

"Ordinals and Functionals in Proof Theory." Actes du Congrès
International des Mathématiciens,
1970, Tome 1, pp. 229233.
Publiés sous la direction du Comité d'Organisation du
Congrès. 11th International Congress of Mathematicians, 1970, Nice, France.
Paris: GauthierVillars, 1971.

"Infinitary Properties, Local Functors, and Systems of Ordinal
Functions." In Wilfrid Hodges, ed., Conference in Mathematical
Logic, London '70, pp. 6397. Conference in Mathematical Logic, Bedford
College, 1970. Lecture Notes in Mathematics, 255.
Berlin & New York: SpringerVerlag, 1972.

"Applications of ManySorted Interpolation Theorems." In Leon
Henkin, et al., eds., Tarski Symposium, University of California,
Berkeley, 1971. Proceedings, pp. 205223. Proceedings of Symposia
in Pure Mathematics, 25. Providence: Published for the Association for
Symbolic Logic by American Mathematical
Society, 1974.
UCI Science Library QA7 T34 Bar

"Intuitionism." Encylopedia Brittannica. 15th edition,
pp. 633635, 639.
Part of an article entitled "Mathematics, foundations
of."

"Predicatively Reducible Systems of Set Theory." In Dana S.
Scott, ed., Axiomatic Set Theory, pp. 1132 Symposium in Pure
Mathematics, University of California, Los Angeles, 1967. Proceedings
of Symposia in Pure Mathematics, 13, Part II. Providence: American Mathematical
Society, 197174.
UCI Science Library QA248 S95 Bar

"Two Notes on Abstract Model Theory. I. Properties Invariant on
the Range of Definable Relations between Structures." Fundamenta
Mathematicae (1974), 82:153165.
Collection of articles dedicated to Andrzej Mostowski on the occasion of
his sixtieth birthday.
UCI Science Library QA 1 F8 Drum

"Intuitonism." "Intuitonistic Foundations of
Mathematics." (part of an article on "Mathematics, Foundations of)." In Encyclopaedia
Brittanica. 15th edition. Micropaedia/Knowledge in Depth, Vol. 23, pp. 568570,
574. Chicago: Encyclopaedia Brittanica, 1975.

"A Language of Axioms for Explicit Mathematics." In J. N.
Crossley, ed., Algebra and Logic: Papers from the 1974 Summer Research
Institute of the Australian Mathematical Society, Monash University,
Australia, pp. 87139. Lecture Notes in Mathematics, 450.
Berlin & New York: SpringerVerlag, 1975.
UCI Science Library QA3 L28 no. 450 Bar

"NonExtensional TypeFree Theories of Partial Operations and Classifications.
I." In J. Diller and G. H. Müller, eds., ISILC Proof Theory
Symposion: Dedicated to Kurt Schütte on the Occasion of his 65th
Birthday: Proceedings of the International Summer Institute and Logic
Colloquium, Kiel, 1974, pp. 73118. ISILC Proof Theory Symposion,
University of Kiel, 1974.
Lecture Notes in Mathematics, 500. Berlin & New York: SpringerVerlag,
1975.
UCI Science Library QA3 L28 no. 500 Bar

"Categorical Foundations and Foundations of Category
Theory." In Robert E. Butts and Jaakko Hintikka, eds., Logic, Foundations
of Mathematics, and Computability Theory, Vol. I, pp. 149169. 5th International
Congress of Logic, Methodology, and Philosophy of Science, 1975, University of
Western Ontario. The University of Western Ontario Series in Philosophy of Science,
9. Proceedings of the Fifth International Congress of Logic, Methodology, and
Philosophy of Science, London, Ontario, Canada,
1975, Part. 1. Dordrecht & Boston: D. Reidel, 1977.
UCI Sci Lib Q174 .I58 1975a pt.1 Bar

"Generating Schemes for Partial Recursively Continuous Functionals:
Summary." In Colloque International de Logique: ClermontFerrand,
1825 Juillet 1975, pp. 191198. Centre National de la Recherche
Scientifique. Colloques Internationaux du Centre National de la Recherche
Scientifique, 249. Paris: Editions du C.N.R.S., 1977.

"Inductive Schemata and Recursively Continuous
Functionals." In R. O. Gandy, and J. M. E. Hyland, eds., Logic Colloquium
76: Proceedings of a Conference held in Oxford
in July 1976, pp. 373392. Studies in Logic and the Foundations of Mathematics,
87.
Amsterdam & New York: NorthHolland/Elsevier, 1977.
UCI Science Library QA9.A1 L63 1976 Bar

"Theories of Finite Type Related to Mathematical
Practice." In Jon Barwise, H.J. Keisler, K. Kunen, Y.N. Moschovakis and
A.S.
Troelstra, eds., Handbook of Mathematical Logic, Part D, pp. 913971.
Studies in Logic and the Foundations of Mathematics, 90.
Amsterdam & New York: NorthHolland, 1977.
UCI Science Lib QA9 H32 Bar

"The Logic of Mathematical Discovery vs. the Logical Structure
of Mathematics." In PSA: Proceedings of the Biennial Meeting
of
the Philosophy of Science Association. 1978, pp. 309327. East Lansing: Philosophy
of Science Association, 1978.
UCI Science Library Q174 P58a Drum

"Recursion Theory and Set Theory: A Marriage of
Convenience." In J. E. Fenstad, R. O. Gandy, G. E. Sacks, eds., Generalized
Recursion Theory II: Proceedings of the 1977 Oslo
Symposium, pp. 5598. Studies in Logic and the Foundations of Mathematics,
94.
Amsterdam & New York: NorthHolland/Elsevier, 1978.

"As progressoes transfinitas." O Teorema de Godel e a hipotese
do continuo: antologica, pp. 755790. Organizada, prefaciada e
traduzida por Manuel Lourenco. Lisbon: Fundacao Calouste Gulbenkian,
1979.

"Constructive Theories of Functions and Classes." In Maurice
Boffa, Dirk van Dalen, and Kenneth McAloon, eds., Logic Colloquium
'78: Proceedings of the Colloquium held in Mons,
August 1978, pp. 159224. Studies in Logic and the Foundations of Mathematics,
97.
Amsterdam & New York: NorthHolland/Elsevier, 1979.
UCI Science Library QA9 A1 L63 1978 Bar

"Generalizing SetTheoretical Model Theory and an Analogue Theory
on Admissible Sets." In Jaakko Hintikka, Ilkka Niiniluoto, and Esa
Saarinen, eds., Essays on Mathematical and Philosophical Logic: Proceedings
of the Fourth Scandinavian Logic Symposium and of the First SovietFinnish
Logic Conference, Jyvaskyla, Finland, June 29July 6, 1976, pp. 171195.
Synthese Library, 122.
Dordrecht, Holland & Boston: D. Reidel, 1979.
UCI Main Lib BC5 S28 1976

"A More Perspicuous Formal System for Predicativity." In Kuno
Lorenz, ed., Konstruktionen versus Positionen: Beitr. zur Diskussion
um d. konstruktive Wissenschaftstheorie: Paul Lorenzen zum 60. Geburtstag,
Vol. I, pp. 6893. Berlin & New York: de Gruyter, 1979.

"Progressoes transfinitas ." In Manuel Lourenco, ed., O
Teorema de Godel e a hipotese do continuo:
antologica / organizada, prefaciada e traduzida por Manuel Lourenco. Lisbon:
Fundacao Calouste Gulbenkian, 1979.

"Sistemas ." O Teorema de Godel e a hipotese do continuo:
antologica. Organizada, prefaciada e traduzida por Manuel Lourenco.
Lisbon: Fundacao Calouste Gulbenkian, 1979.

(with Peter Aczel.) "Consistency of the Unrestricted Abstraction
Principle using an Intensional Equivalence Operator." In J.P. Seldin
and J.R. Hindley, eds., To H.B. Curry: Essays on Combinatory Logic,
Lambda Calculus, and
Formalism, pp. 6798. London & New York: Academic Press, 1980.
UCI Science Library QA9.2 T6 Bar

(with Wilfried Buchholz, Wolfram Pohlers, and Wilfried Sieg.) Iterated
Inductive Definitions and Subsystems of Analysis: Recent ProofTheoretical
Studies. Lecture Notes in Mathematics, 897.
Berlin & New York: SpringerVerlag, 1981.
Includes:
"Preface: How We Got from Here to There":115
(with W. Sieg.)"Iterated Inductive Definitions and Subsystems
of Analysis":1677
(with W. Sieg.) "ProofTheoretic Equivalences between Classical and
Constructive Theories for Analysis":78142
UCI Science Library QA3 L28 no. 897 Bar

"Inductively Presented Systems and the Formalization of
Metamathematics." In D. van Dalen, D. Lascar, and T.J. Smiley,
eds., Logic Colloquium '80: Papers Intended for the European summer Meeting
of the Association for Symbolic Logic, pp. 95128. Logic Colloquium, 1980,
Prague, Czechoslovakia. Studies in Logic and the Foundations of Mathematics,
108.
Amsterdam & New York: NorthHolland/Elsevier Science, 1982.

"Iterated Inductive FixedPoint Theories: Application to Hancock's
Conjecture." In George Metakides, ed., Patras Logic Symposion:
Proceedings of the Logic Symposion held at Patras, Greece, August 1822,
1980, pp. 171196. Studies in Logic and the Foundations of Mathematics,
109.
Amsterdam & & New York: NorthHolland/Elsevier Science, 1982.
UCI Science Library QA9 A1 L65 1980 Bar

"Monotone Inductive Definitions." In A.S. Troelstra and D.
van Dalen, eds., The L.E.J. Brouwer Centenary Symposium: Proceedings
of the
Conference held in Noordwijkerhout, 813 June 1981, pp. 7789. Studies in
Logic and the Foundations of Mathematics, 110.
Amsterdam & New York: NorthHolland/Elsevier Science, 1982.
UCI Science Library QA9.56 L2 1981 Bar

"Betweeen Constructive and Classical Mathematics." In Computation
and Proof Theory: Proceedings of the Logic Colloquium held in Aachen,
July 1823, Part II, pp. 143162. Lecture Notes in Mathematics,
1104. Berlin & New York: SpringerVerlag, l984.

"Foundational Ways." In W. Jager, J. Moser, and R.
Remmert<, eds., Perspectives in Mathematics: Anniversary of Oberwolfach
1984, pp. 147158. Basel & Boston: Birkhauser Verlag, 1984.
UCI Science Library QA7 P47 1984 Bar

"Gödel's Life and Work." In Solomon Feferman, J.W. Dawson,
Jr., S.C. Kleene, G.H. Moore, R.M. Solovay, and Jean van Heijenoort,
eds.,. Kurt Gödel's Collected Works. Vol.
1: Publications 19291936, pp. 136. Oxford: Clarendon Press; New York: Oxford
University Press, 1986.
UCI Science Library QA9 G5313 1986 Bar

"Appendix. Proof Theory: A Personal Report." In Gaisi
Takeuti's Proof Theory, 2nd edition, pp. 447485. Studies in Logic and
the Foundations of Mathematics, 81.
Amsterdam: NorthHolland/Elsevier, 1987.
UCI Science Library QA9.54 T34 Bar

(with Anita Burdman Feferman.) "Jean van Heijenoort." In Paris
Logic Group, ed., Logic Colloquium '85: Proceedings of the Colloquium
held in Orsay, France, July 1985, pp. 17. Studies in Logic and the
Foundations of
Mathematics, 122. Amsterdam & New York: NorthHolland/Elsevier Science,
1987.
UCI Science Library QA9 A1 L63 1985 Bar

"Kurt Gödel: Conviction and Caution." In S.G. Shanker,
ed., Gödel's Theorem in Focus, pp. 96114. Croom Helm Philosophers
in
Focus Series. London & New York: Croom Helm, 1988.
 See "Kurt Gödel: Conviction and Caution." (1984)
UCI Science Library QA9.65 G63 1988 Bar

"Turing in the Land of O(z)." In Rolf Herken, ed., The
Universal Turing Machine: A HalfCentury Survey, pp. 113147.
Oxford & New York: Oxford University Press, 1988.
UCI Science Library QA267 U55 1988 Bar

"Weyl Vindicated: Das Kontinuum 70 Years Later." In
Carlo Cellucci and Giovanni Sambin, eds., Temi e prospettive della
logica e della filosofia della scienza
contemporanee, Vol. 1: Logica, pp. 5993. Organizzato dalla Societa Italiana
di Logica e Filosofia delle Scienze (SILFS): Cesena, 710 gennario 1987. Bologna:
CLUEB [Cooperativa Libraria Universitaria Editrice Bologna],
1988.

(with Patrick Suppes and Jon Barwise.) "Commemorative Meeting for
Alfred Tarski." In Peter Duren, Richard A. Askey, and Uta C. Merzbach,
eds., A Century of Mathematics in America, Part III, pp. 393403.
History of Mathematics, 3. Providence, R.I.: American Mathematical Society,
1989.

"Finitary Inductively Presented Logics." In R. Ferro, et al.,
eds., Logic Colloquium '88: Proceedings of the Colloquium held in
Padova, Italy, August 2231, 1988, pp. 191220. Studies in Logic
and the Foundations of Mathematics, 127. Amsterdam & New York: NorthHolland/Elsevier
Science, 1989.

"Polymorphic Typed LambdaCalculi in a TypeFree
Axiomatic Framework." In Wilfried Sieg, ed., Logic and Computation: Proceedings
of a Workshop held at Carnegie Mellon University, June 30July 2, 1987, pp.
101136. Contemporary Mathematics (American Mathematical Society), 106. Providence,
R.I.: American Mathematical Society, 1990.
UCI Sci Lib QA9.59 .W67 1987 Bar

"Proofs of Termination and the '91' Function." In Vladimir
Lifschitz, ed., Artificial Intelligence and Mathematical Theory of
Computation:
Papers in Honor of John McCarthy, pp. 4763.
Boston: Academic Press, 1991.
UCI Sci Lib Q335.5 A77 1991 Bar

"Logics for Termination and Correctness of Functional Programs.
II. Logics of Strength PRA." In Peter Aczel, Harold Simmons, and
Stanley S. Wainer, eds., Proof Theory: A Selection of Papers from
the Leeds Proof Theory Programme, 1990, pp. 195225.
Cambridge & New York: Cambridge University Press, 1992.

"Logics for Termination and Correctness of Functional
Programs." In Y.N. Moschovakis, ed., Logic from Computer Science: Proceedings
of a Workshop held November 1317, 1989, pp. 195225. Mathematical Sciences
Research Institute Publications, 21.
New York: SpringerVerlag, 1992.
UCI Science Library QA9 A1 L64 1992 Bar

"A New Approach to Abstract Data Types. II. Computation on ADTs
as Ordinary Computation." In E. Börger, G. Jäger, H. Kleine
Büning and M.M. Richter,
eds., Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October
1991: Proceedings, pp. 7995. Lecture Notes in
Computer Science, 626. Berlin & New York: SpringerVerlag,
1992.
UCI Science Library QA75.5 W624 1991 Bar

"Turing's 'Oracle': From Absolute to Relative Computabilityand
Back." In Javier Echeverria, Andoni Ibarra, and Thomas Mormann,
eds., The Space of Mathematics: Philosophical, Epistemological, and
Historical Explorations, pp. 314348. Foundations of Communication
and Cognition. Berlin & New York: de Gruyter, 1992.

"Appendix. Jean van Heijenoort's Scholarly Work." In Anita
Burdman Feferman's Politics, Logic, and Love: The Life of Jean Van
Heijenoort, pp. 371390. Boston: Jones and Bartlett; Wellesley, Mass.:
A. K. Peters, 1993.
UCI Langson Library B2430 V36 F44 1993

"Gödel's Dialectica Interpretation and Its TwoWay
Stretch." In Georg Gottlob, Alexander Leitsch and Daniele Mundici,
eds. Computational Logic and Proof Theory: Third Kurt Gödel Colloquium,
KGC'93, Brno, Czech Republic, August 1993: Proceedings, pp. 2340.
Lecture Notes in Computer Science, 713. Berlin & New York: SpringerVerlag,
1993.
UCI Science Library QA76.9 A96 K87 1993 Bar

"What Rests on What? The ProofTheoretic Analysis of
Mathematics." In Johannes Czermak, ed., Philosophy of Mathematics: Proceedings
of the 15th International WittgensteinSymposium: 16th to 23rd August 1992, Kirchberg
am Wechsel(Austria)/Philosophie der Mathematik: Akten des 15. Internationalen
WittgensteinSymposiums: 16. bis 23. August 1992,
Kirchberg am Wechsel (Osterreich), Vol. 1, pp. 147171. Schriftenreihe der
WittgensteinGesellschaft, 20. Vienna:
HölderPichlerTempsky, 1993.
UCI Langson Library B3376 W564 A17 Bd.20

"Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically
Applicable Mathematics." PSA: Proceedings of the 1992 Biennial
Meeting of the Philosophy of Science Association (1993), 2:442455.
UCI Science Library Q174 P58a Drum

"Working Foundations'91." In Giovanna Corsi, Maria Luisa
Dalla Chiara, and Gian Carlo Ghirardi, eds., Bridging the Gap: Philosophy,
Mathematics, and Physics: Lectures on
the Foundations of Science, pp. 99124. Boston Studies in the Philosophy
of Science, 140.
Dordrecht & Boston: Kluwer Academic, 1993.
UCI Science Library Q174 B67 v.140 Bar

"Finitary Inductively Presented Logics." In D.M.
Gabbay, ed., What Is a Logical System? pp. 297328. Studies in Logic and
Computation, 4. Oxford Science Publications. Oxford: Clarendon Press; New York:
Oxford University Press, 1994.

(with Sergei Artemov, George Boolos, Erwin Engeler, Gerhard
Jäger, and Albert Visser.) "Preface." Annals of Pure and Applied
Logic (September 12, 1995), 75(12):1.
 Issue is entitled "Invited papers presented at the Conference on Proof
Theory, Provability Logic, and Computation, March 2024, 1994, Berne,
Switzerland."
UCI Science Library BC135 A4 Drum

"Ordinal Logic." In Robert Audi, ed., The Cambridge Dictionary
of Philosophy, pp. 550551. Cambridge: Cambridge University Press,
1995.
UCI Langson Library Reference B41 C35 1995

"Ordinal Logics." In Edward Craig, ed., The Routledge Encyclopedia
of Philosophy, Vol. 7, pp. 139143. London & New York: Routledge,
1998.
UCI Langson Library Reference B51 R68 1998

"Reflection Principles." In Robert Audi, ed., The Cambridge
Dictionary of Philosophy, p. 682. Cambridge: Cambridge University
Press, 1995.
UCI Langson Library Reference B41 C35 1995

"Gödel's Program for New Axioms: Why, Where, How and
What?" In Petr Hajek, ed., Godel '96: Logical Foundations of Mathematics,
Computer Science, and PhysicsKurt Godel's Legacy: Brno, Czech Republic, August
1996, Proceedings, pp. 322. Lecture Notes in Logic, 6. Berlin & New York:
Springer, 1996.
UCI Science Library QA9 A1 G6 1996 Bar

"Kreisel's 'Unwinding' Program." In Piergiorgio Odifreddi,
ed., Kreiseliana: About and Around Georg Kreisel, pp. 247273.
Wellesley, Mass.: A.K. Peters, 1996.

"Proof Theory." In Donald M. Borchert, ed., The Encyclopedia
of Philosophy. Supplement, pp.466469. New York: Macmillan Reference
USA, Simon & Schuster Macmillan;
London: Simon & Schuster and Prentice Hall International, 1996.
UCI Main Lib B41 E5 1996 Reference

(with Jeremy Avigad.) "Gödel's Functional ('Dialectica')
Interpretation." In Samuel R. Buss, ed., Handbook of Proof Theory,
pp. 337405. Studies in Logic and Foundations of Mathematics, 137. New York:
Elsevier, 1998.
UCI Science Library QA9.54 H35 1998 Bar

(with Geoffrey Hellman.) "Challenges to Predicative Foundations
of Arithmetic." In Gila Sher and Richard L. Tieszen,
eds., Between Logic and Intuition: Essays in Honor of Charles
Parsons, pp. 317339. Dordrecht & Boston: Kluwer Academic, 1999.

"Tarski and Gödel: Between the Lines." In Jan Wolenski
and Eckehart Kohler, eds., Alfred Tarski and the Vienna Circle: AustroPolish
Connections in Logical Empiricism, pp. 5363. Vienna Circle Institute
Yearbook, 6. Dordrecht & Boston: Kluwer, 1999.

"Ah, Chu." In JFAK: Essays Dedicated to Johan van Benthem
on the Occasion of his Fiftieth Birthday. Amsterdam University
Press. CDROM.
Articles in Journals

(with R.L. Vaught.) "The First Order Properties of Products of
Algebraic Systems."Fundamenta
Mathematica (1959), 47:57103.
UCI Science Library QA1 F8 Drum

(with A. Ahrenfeucht.) "Representability of Recursively Enumerable
Sets in Formal Theories." Archiv für Mathematische Logik
und Grundlagenforschung (1959),
5:3741.

"Arithmetization of Metamathematics in a General Setting." Fundamenta
Mathematica (1960), 49:3592.

(with G. Kreisel and S. Orey.) "lConsistency
and Faithful Interpretations."Archiv
für Mathematische Logik und Grundlagenforschung (1960),
5:5263.

"Classifications of Recursive Functions by Means of
Hierarchies." Transactions of the American Mathematical
Society (July 1962), 104:101122.
UCI Science Library QA1 A522 Drum

(with C. Spector.) "Incompleteness Along Paths in Progressions
of Theories." Journal of Symbolic Logic (December 1962),
27(4):383390.
UCI Science Library BC1 J6 Drum

"Transfinite Recursive Progressions of
Axiomatic Theories."Journal of
Symbolic Logic (September 1962), 27(3):259316.
UCI Science Library BC1 J6 Drum

"Systems of Predicative Analysis."Journal of
Symbolic Logic (March 1964), 29(1):130.
UCI Science Library BC1 J6 Drum

"Some Applications of the Notions of Forcing and
Generic Sets." Fundamenta Mathematicae (1965), 56:325345.
UCI Science Library QA1 F8 Drum

(with G. Kreisel.) "Persistent and Invariant Formulas Relative
to Theories of Higher Order." Bulletin of the American Mathematical
Society (May 1966), 72(3) [702]:480485.
UCI Science Library QA1 A52 Drum

"Predicative Provability in Set Theory." Bulletin of the
American Mathematical Society May (1966), 72(3)
[702]:486489.
UCI Science Library QA1 A52 Drum

"Persistent and Invariant Formulas for Outer
Extensions." Compositio Mathematica (1968), 20:2952.
The issue is dedicated to A. Heyting on the occasion of his 70th
birthday.
UCI Science Library QA1 C73 Drum

"Systems of Predicative Analysis, II:
Representation of Ordinals."Journal of
Symbolic Logic (June 1968), 33(2):193220.
UCI Science Library BC1 J6 Drum

"Two Notes on Abstract Model Theory. I. Properties Invariant on
the Range of Definable Relations between Structures." Fundamenta
Mathematicae (1974), 82:153165.
Collection of articles dedicated to Andrzej Mostowski on the occasion of
his sixtieth birthday.
UCI Science Library QA 1 F8 Drum

"Two Notes on Abstract Model Theory. II. Languages for which the
Set of Valid Sentences is SemiInvariantly Implicitly Definable." Fundamenta
Mathematicae (1975), 89(2):111130.

"Recursion in Total Functionals of Finite Type." Compositio
Mathematica (1977), 35(1):322.
UCI Science Lib QA1 C73 Bar

(with Jon Barwise and Leo Harrington.) "Reno,
1976."Journal of
Symbolic Logic (March 1977), 42(1):156.
UCI Science Library BC1 J6 Drum

"What Does Logic have to Tell
Us about Mathematical Proofs?" Mathematical
Intelligencer (197980), 2(1):2024.
UCI Science Library QA1 M427 Drum

(with G. Jäger.) "Choice Principles, the Bar Rule and Autonomously
Iterated Comprehension Schemes in Analysis." Journal of Symbolic
Logic (March 1983), 48(1):6370.
UCI Science Library BC1 J6 Drum

"Kurt Gödel: Conviction and Caution." Philosophia
Naturalis (1984),
21(24):546562.
This issue is on "Philosophy of Science/History of Science."
UCI Langson Library B3 P62

"Toward Useful TypeFree Theories." Journal of Symbolic
Logic (March 1984), 49(1):75111.
This issue includes: "A Selection of Contributed Papers of the 7th International
Congress of
Logic, Methodology and Philosophy of Science, Salzburg, 1983." Edited by Paul
Weingartner and Christine Pühringer.

"Intensionality in Mathematics." Journal of Philosophical
Logic (February 1985), 14(1):4155.
UCI Langson Library BC51 J68

"A Theory of Variable Types." Revista Colombiana de
Matématicas (1985), 19(12):95105.
Part of the Proceedings of the 5th Latin American Symposium on Mathematical
Logic,
Bogotá, 1981.

"Working Foundations." Synthese (February 1985),
62(2):229254.
This issue contains papers given at the Conference on "The Present State
of the Problem of Foundations of Mathematics, Florence,
1981."
UCI Science Library Q4 S9 Drum

"Hilbert's Program Relativized: ProofTheoretical and Foundational
Reductions." Journal of
Symbolic Logic (June 1988), 53(2):364384.
UCI Science Library BC1 J6 Drum

"Infinity in Mathematics: Is Cantor Necessary?" Philosophical
Topics (Fall 1989), 17(2):2345.
This issue is entitled "Philosophy of Mathematics."
UCI Langson Library B1 S58

"Reflecting on Incompleteness." Journal of
Symbolic Logic (March 1991), 56(1):149.
Retiring Presidential Address.
UCI Science Library BC1 J6 Drum

(with Anita Burdman Feferman.) "Jean van Heijenoort
(19121986)." Modern Logic (1992), 2(3):231238.

"A New Approach to Abstract Data Types. I. Informal
Development." Mathematical Structures in Computer Science (1992),
2(2):193229.

(with Gerhard Jäger.) "Systems of Explicit Mathematics with
NonConstructive MuOperator." (Part I) Annals of Pure and Applied
Logic (December 15, 1993), 65(3):243263.
UCI Science Library BC135 A4 Drum

"Julia Bowman Robinson, December 8, 1919  July 30,
1985." Biographical Memoirs of the National Academy of
Sciences (1994), 63:453478.

"Definedness." Erkenntnis (November 1995),
43(3):295320.
Presented at a miniConference on 17 February 1995 at the University of
California at Irvine, under the auspices of the UCI Program in the History
and Philosophy of Science.
Issue is entitled: "Varia, with a Workshop on the Foundations of Partial
Functions and Programming (Irvine, CA, 1995)." Edited by Karel Lambert.
UCI Langson Library B1 J79

(with Sergei Artemov, George Boolos, Erwin Engeler, Gerhard
Jäger, and Albert Visser.) "Preface." Annals of Pure and Applied
Logic (September 12, 1995), 75(12):1.
Issue is entitled "Invited papers presented at the Conference on Proof
Theory, Provability Logic, and Computation, March 2024, 1994, Berne,
Switzerland."
UCI Science Library BC135 A4 Drum

(with Geoffrey Hellman.) "Predicative Foundations of
Arithmetic." Journal of Philosophical Logic (February 1995),
24(1):117.
UCI Langson Library BC51 J68

"Computation on Abstract Data Types: The Extensional Approach,
with an Application to Streams." Annals of Pure and
Applied Logic (September 1996), 81(13):75113.
Dedicated to the late Stephen Cole Kleene.
UCI Science Library BC135 A4 Drum

"Penrose's Gödelian Argument." Psyche (1996),
2:2132.

(with Gerhard Jäger.) "Systems of Explicit Mathematics with
NonConstructive MuOperator." (Part II) Annals of Pure and Applied
Logic (May 2, 1996), 79(1):3752.
UCI Science Library BC135 A4 Drum

"My Route to Arithmetization." Theoria (1997),
63:168181.
UCI Langson Library Current Periodical Room B1 A27

"Does Mathematics Need New Axioms?" American Mathematical
Monthly (February 1999), 106(2):99111.
UCI Science Library QA1 A515

"Logic, Logics, and Logicism." Notre Dame Journal of Formal
Logic. (Forthcoming)

"Mathematical Intuition vs. Mathematical Monsters." Synthese (Forthcoming).

(with T. Strahm.) "The Unfolding of NonFinist
Arithemtic." Annals of Pure and Applied Logic. (Forthcoming)
Book Reviews

Review of Gaisi Takeuti's Proof Theory. Bulletin of the American
Mathematical Society (May 1977), 83(3) [768]:351361.
UCI Science Library QA 1 A5202 Drum

Review of Kurt Schütte's Proof Theory (Translated by J.N.
Crossley). Bulletin of
the American Mathematical Society (New Series) (1979), 1:224228.
UCI Science Library QA1 A5202 Drum

Review of Ray Mines and Fred Richman's A Course in
Constructive Algebra. American Scientist (JulyAugust 1989),
77(4):402.
UCI Science Library Q11 A47 Drum
Abstracts

"Product Operations on Relational Systems." [Abstract] Bulletin
of the American Mathematical Society (March 1955), 61:172.
UCI Science Library QA1 A5202 Drum

"Sum Operations on Relational Systems." [Abstract] Bulletin
of the American Mathematical Society (March 1955), 61:172.
UCI Science Library QA1 A5202 Drum

"Degrees of Unsolvability Correlated to Theories with Standard
Formalization." [Abstract] Bulletin of the American Mathematical
Society (July 1956), 2:412.
UCI Science Library QA1 A5202 Drum

(with R.L. Vaught.) "Elimination of Quantifiers in the Theory of
Generalized Products." [Abstract] Bulletin of the American Mathematical
Society (July 1957), 63:290.
UCI Science Library QA1 A5202 Drum

"Formal Consistency Proofs and Interpretability of
Theories." [Abstract] Journal of Symbolic Logic (March
1957), 22(1):107.
UCI Science Library BC1 J6 Drum

(with R.L. Vaught.) "ModelTheoretic and Decidability Theorems
Concerning Generalized Products." [Abstract] Bulletin of the
American Mathematical Society (July 1957), 63:289.
UCI Science Library Drum

"Sentences of Arithmetic which Formally Express
Consistency." [Abstract] Journal of Symbolic Logic (March 1957),
22(1):106107.
UCI Science Library BC1 J6 Drum

"Ordinal Logics ReExamined." [Abstract] Journal of Symbolic
Logic (March 1958), 23(1):105.
UCI Science Library BC1 J6 Drum

"On the Strength of Ordinal Logics." [Abstract] Journal
of Symbolic Logic (March 1958), 23(1):105106.
UCI Science Library BC1 J6 Drum

"Some Completeness Results for Recursive Progressions of Theories.
(Ordinal Logics)." [Abstract] Journal
of Symbolic Logic (1959), 24:312313.
UCI Science Library BC1 J6 Drum
Dissertation

"Formal Consistency Proofs and Interpretability of
Theories." Ph.D. Dissertation in Mathematics, University of California,
Berkeley,
1957.
Selected Works on Solomon Feferman

Avigard, Jeremy. Review of Solomon Feferman's In the Light of
Logic (1998). Journal of Philosophy (December 1999),
96(2):638642.

Sandu, Gabriel. "IfLogic and TruthDefinition." Journal
of Philosophical Logic (April 1998), 27(2):143164.
UCI Langson Library BC51 J68

Turner, Raymond. "Three Theories of Nominalized
Predicates." Studia Logica (1985), 44:165186. UCI Langson Library
B18 P6 S88
 Vourtsanis, Yiannis. "A Direct Proof of the FefermanVaught Theorem and
Other Preservation Theorems in Prodycts." Journal of Symbolic Logic (June
1991),
56(2):632636.
 Weiermann, Andreas. "A Functorial Property of the AczelBuchholzFeferman
Function." Journal of Symbolic Logic (September 1994), 59(3):945955.
