UCI 1999-2000 CHANCELLOR'S DISTINGUISHED FELLOWS SERIES

SOLOMON FEFERMAN

Wednesday, October 20, 1999

*In the Light of Logic*

7:30 p.m.

Social Science Lecture Hall

100

UCI Program Logic & Philosophy Science

Presents

A Colloquium

by

"Where Do Axioms Come From and Where Do They Go?"

Tuesday, October 19, 1999

4pm

775 Social Science Tower"What's the Use of Foundations of Mathematics?"

Thursday, October 21, 1999

4pm

775 Social Science Tower

Compiled by

Eddie Yeghiayan

"Ah, Chu." In

*JFAK: Essays Dedicated to Johan van Benthem on the Occasion of his Fiftieth Birthday*. Amsterdam University Press. CD-ROM. Forthcoming."Appendix. Jean van Heijenoort's Scholarly Work." In Anita Burdman Feferman's

*Politics, Logic, and Love: The Life of Jean Van Heijenoort*, pp. 371-390. Boston: Jones and Bartlett; Wellesley, Mass.: A. K. Peters, 1993.

UCI Main Library B2430 V36 F44 1993"Appendix. Proof Theory: A Personal Report." In Gaisi Takeuti's

*Proof Theory*, 2nd edition, pp. 447-485. Studies in Logic and the Foundations of Mathematics, 81. Amsterdam: North-Holland/Elsevier, 1987.

UCI Science Library QA9.54 T34 Bar"Applications of Many-Sorted Interpolation Theorems." In Leon Henkin, et al., eds.,

*Tarski Symposium, University of California, Berkeley, 1971. Proceedings*, pp. 205-223. 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"Arithmetization of Metamathematics in a General Setting."

*Fundamenta Mathematica*(1960), 49:35-92."As progressoes transfinitas."

*O Teorema de Godel e a hipotese do continuo: antologica*, pp. 755-790. Organizada, prefaciada e traduzida por Manuel Lourenco. Lisbon: Fundacao Calouste Gulbenkian, 1979."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. 121-135. Amsterdam: North-Holland, 1968.

UCI Science Library Q175 I535 1967 Bar

"Betweeen Constructive and Classical Mathematics." In

*Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18-23, Part II*, pp. 143-162. Lecture Notes in Mathematics, 1104. Berlin & New York: Springer-Verlag, l984.

"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. 149-169. 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 Science Library Q174 .I58 1975a pt.1 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. 317-339. Dordrecht & Boston: Kluwer Academic, 1999.(with G. Jäger.) "Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis."

*Journal of Symbolic Logic*(March 1983), 48(1):63-70.

UCI Science Library BC1 J6 Drum"Classifications of Recursive Functions by Means of Hierarchies."

*Transactions of the American Mathematical Society*(July 1962), 104:101-122.

UCI Science Library QA1 A522 Drum(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. 393-403. History of Mathematics, 3. Providence, R.I.: American Mathematical Society, 1989."Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams."

*Annals of Pure and Applied Logic*(September 1996), 81(1-3):75-113.- Dedicated to the late Stephen Cole Kleene.

UCI Science Library BC135 A4 Drum(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. 67-98. London & New York: Academic Press, 1980.

UCI Science Library QA9.2 T6 Bar"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. 159-224. Studies in Logic and the Foundations of Mathematics, 97. Amsterdam & New York: North-Holland/Elsevier, 1979.

UCI Science Library QA9 A1 L63 1978 Bar- Dedicated to the late Stephen Cole Kleene.

"Definedness."

*Erkenntnis*(November 1995), 43(3):295-320.

Presented at a mini-Conference 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 Main Library B1 J79"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"Does Mathematics Need New Axioms?"

*American Mathematical Monthly*(February 1999), 106(2):99-111.

UCI Science Library QA1 A515

(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

"Finitary Inductively Presented Logics." In R. Ferro, et al., eds.,

*Logic Colloquium '88: Proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988*, pp. 191-220. Studies in Logic and the Foundations of Mathematics, 127. Amsterdam & New York: North-Holland/Elsevier Science, 1989."Finitary Inductively Presented Logics." In D.M. Gabbay, ed.,

*What Is a Logical System?*pp. 297-328. Studies in Logic and Computation, 4. Oxford Science Publications. Oxford: Clarendon Press; New York: Oxford University Press, 1994.(with R.L. Vaught.) "The First Order Properties of Products of Algebraic Systems."

*Fundamenta Mathematica*(1959), 47:57-103.

UCI Science Library QA1 F8 Drum"Formal Consistency Proofs and Interpretability of Theories." Ph.D. in Mathematics, University of California, Berkeley, 1957.

"Formal Consistency Proofs and Interpretability of Theories." [Abstract]

*Journal of Symbolic Logic*(March 1957), 22(1):107.

UCI Science Library BC1 J6 Drum"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. 303-326. Conference on Intuitionism and Proof Theory, 1968, State University of New York at Buffalo. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 1970.

UCI Science Library QA9 C742 1968 Bar"Foundational Ways." In W. Jager, J. Moser, and R. Remmert<, eds.,

*Perspectives in Mathematics: Anniversary of Oberwolfach 1984*, pp. 147-158. Basel & Boston: Birkhauser Verlag, 1984.

UCI Science Library QA7 P47 1984 Bar

"Generalizing Set-Theoretical 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 Soviet-Finnish Logic Conference, Jyvaskyla, Finland, June 29-July 6, 1976*, pp. 171-195. Synthese Library, 122. Dordrecht, Holland & Boston: D. Reidel, 1979.

UCI Main Lib BC5 S28 1976"Generating Schemes for Partial Recursively Continuous Functionals: Summary." In

*Colloque International de Logique: Clermont-Ferrand, 18-25 Juillet 1975*, pp. 191-198. Centre National de la Recherche Scientifique. Colloques Internationaux du Centre National de la Recherche Scientifique, 249. Paris: Editions du C.N.R.S., 1977."Gödel's

*Dialectica*Interpretation and Its Two-Way 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. 23-40. Lecture Notes in Computer Science, 713. Berlin & New York: Springer-Verlag, 1993.

UCI Science Library QA76.9 A96 K87 1993 Bar(with Jeremy Avigad.) "Gödel's Functional ('Dialectica') Interpretation." In Samuel R. Buss, ed.,

*Handbook of Proof Theory*, pp. 337-405. Studies in Logic and Foundations of Mathematics, 137. New York: Elsevier, 1998.

UCI Science Library QA9.54 H35 1998 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 1929-1936*, pp. 1-36. Oxford: Clarendon Press; New York: Oxford University Press, 1986.

UCI Science Library QA9 G5313 1986 Bar"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 Physics--Kurt Godel's Legacy: Brno, Czech Republic, August 1996, Proceedings*, pp. 3-22. Lecture Notes in Logic, 6. Berlin & New York: Springer, 1996.

UCI Science Library QA9 A1 G6 1996 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. 289-301. Conference on Intuitionism and Proof Theory, 1968, State University of New York at Buffalo. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 1970.

UCI Science Library QA9 C742 1968 Bar"Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions."

*Journal of Symbolic Logic*(June 1988), 53(2):364-384.

UCI Science Library BC1 J6 Drum

"Impredicativity of the Existence of the Largest Divisible Subgroup of an Abelian p-Group." In D. Saracino and V. B. Weispfenning, eds.,

*Model Theory and Algebra: A Memorial Tribute to Abraham Robinson*, pp. 117-130. Lecture Notes in Mathematics, 498. Berlin & New York: Springer-Verlag, 1975.

UCI Science Library QA3 L28 no. 498 Bar*In the Light of Logic*. Logic and Computation in Philosophy. New York: Oxford University Press, 1998.

__Contents__:

I. Foundational Problems

1. Deciding the Undecidable: Wrestling with Hilbert's Problems

2. Infinity in Mathematics: Is Cantor Necessary?

II. Foundational Ways

3. The Logic of Mathematical Discovery versus the Logical Structure of Mathematics

4. Foundational Ways

5. Working Foundations

III. Gödel

6. Gödel's Life and Work

7. Kurt Gödel: Conviction and Caution

8. Introductory Note to Gödel's 1933 Lecture

IV. Proof Theory

9. What does Logic Have to Tell Us about Mathematical Proofs?

10. What Rests on What? The Proof-Theoretic Analysis of Mathematics

11. Gödel's Dialectica interpretation and its two-way stretch

V. Countably Reducible Mathematics

12. Infinity in Mathematics: Is Cantor Necessary? (Conclusion)

13. Weyl Vindicated: Das Kontinuum Seventy Years later

14. Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics.(with C. Spector.) "Incompleteness Along Paths in Progressions of Theories."

*Journal of Symbolic Logic*(December 1962), 27(4):383-390.

UCI Science Library BC1 J6 Drum"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. 373-392. Studies in Logic and the Foundations of Mathematics, 87. Amsterdam & New York: North-Holland/Elsevier, 1977.

UCI Science Library QA9.A1 L63 1976 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. 95-128. Logic Colloquium, 1980, Prague, Czechoslovakia. Studies in Logic and the Foundations of Mathematics, 108. Amsterdam & New York: North-Holland/Elsevier Science, 1982."Infinitary Properties, Local Functors, and Systems of Ordinal Functions." In Wilfrid Hodges, ed.,

*Conference in Mathematical Logic, London '70*, pp. 63-97. Conference in Mathematical Logic, Bedford College, 1970. Lecture Notes in Mathematics, 255. Berlin & New York: Springer-Verlag, 1972."Infinity in Mathematics: Is Cantor Necessary?"

*Philosophical Topics*(Fall 1989), 17(2):23-45.

This issue is entitled "Philosophy of Mathematics."

UCI Main Library B1 S58"Intensionality in Mathematics."

*Journal of Philosophical Logic*(February 1985), 14(1):41-55.

UCI Main Library BC51 J68"Intuitionism."

*Encylopedia Brittannica*. 15th edition, pp. 633-635, 639. 1974.

Part of an article entitled "Mathematics, foundations of.""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. 568-570, 574. Chicago: Encyclopaedia Brittanica, 1975.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 20-24, 1994, Berne, Switzerland." issue of

*Annals of Pure and Applied Logic*(September 12, 1995), 75(1-2).

UCI Science Library BC135 A4 Drum(with Wilfried Buchholz, Wolfram Pohlers, and Wilfried Sieg.)

*Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies*. Lecture Notes in Mathematics, 897. Berlin & New York: Springer-Verlag, 1981.

__Includes__:

"Preface: How We Got from Here to There":1-15

(with W. Sieg.)"Iterated Inductive Definitions and Subsystems of Analysis":16-77

(with W. Sieg.) "Proof-Theoretic Equivalences between Classical and Constructive Theories for Analysis":78-142

UCI Science Library QA3 L28 no. 897 Bar"Iterated Inductive Fixed-Point Theories: Application to Hancock's Conjecture." In George Metakides, ed.,

*Patras Logic Symposion: Proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980*, pp. 171-196. Studies in Logic and the Foundations of Mathematics, 109. Amsterdam & & New York: North-Holland/Elsevier Science, 1982.

UCI Science Library QA9 A1 L65 1980 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. 1-7. Studies in Logic and the Foundations of Mathematics, 122. Amsterdam & New York: North-Holland/Elsevier Science, 1987.

UCI Science Library QA9 A1 L63 1985 Bar(with Anita Burdman Feferman.) "Jean van Heijenoort (1912-1986)."

*Modern Logic*(1992), 2(3):231-238."Julia Bowman Robinson, December 8, 1919 - July 30, 1985."

*Biographical Memoirs of the National Academy of Sciences*(1994), 63:453-478.Edited, with a Foreword, Julia Robinson's

*Collected Works*. Providence, RI: American Mathematical Society, 1996.

"Kreisel's 'Unwinding' Program." In Piergiorgio Odifreddi, ed.,

*Kreiseliana: About and Around Georg Kreisel*, pp. 247-273. Wellesley, Mass.: A.K. Peters, 1996.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 1929-1936*. Oxford: Clarendon Press; New York: Oxford University Press, 1986.

UCI Science Library QA9 G5313 1986 BarEdited (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 1938-1974*. Oxford: Clarendon Press; New York: Oxford University Press, 1990.

UCI Science Library QA9 G5313 1986Edited (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"Kurt Gödel: Conviction and Caution."

*Philosophia Naturalis*(1984), 21(2-4):546-562.

This issue is on "Philosophy of Science/History of Science."

UCI Main Library B3 P62"Kurt Gödel: Conviction and Caution." In S.G. Shanker, ed.,

*Gödel's Theorem in Focus*, pp. 96-114. 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- See "Kurt Gödel: Conviction and Caution." (1984)

(with G. Kreisel and S. Orey.) "l-Consistency and Faithful Interpretations."

*Archiv für Mathematische Logik und Grundlagenforschung*(1960), 5:52-63."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. 87-139. Lecture Notes in Mathematics, 450. Berlin & New York: Springer-Verlag, 1975.

UCI Science Library QA3 L28 no. 450 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. 1-107. Lecture Notes in Mathematics, 70. Berlin & New York: Springer-Verlag, 1968.

UCI Science Library QA3 L28 no. 70 Bar"Logic, Logics, and Logicism."

*Notre Dame Journal of Formal Logic*. Forthcoming."The Logic of Mathematical Discovery vs. the Logical Structure of Mathematics." In

*PSA 1978: Proceedings of the 1978 Biennial Meeting of the Philosophy of Science Association*, Volume Two, pp. 309-327. East Lansing: Philosophy of Science Association, 1981.

UCI Science Library Q174 P58a Drum"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. 195-225. 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 13-17, 1989*, pp. 195-225. Mathematical Sciences Research Institute Publications, 21. New York: Springer-Verlag, 1992.

UCI Science Library QA9 A1 L64 1992 Bar

"Mathematical Intuition vs. Mathematical Monsters."

*Synthese*. Forthcoming."My Route to Arithmetization."

*Theoria*(1997), 63:168-181.

UCI Main Library Current Periodical Room B1 A27(with R.L. Vaught.) "Model-Theoretic and Decidability Theorems Concerning Generalized Products." [Abstract]

*Bulletin of the American Mathematical Society*(July 1957), 63:289.

UCI Science Library DrumEdited with Jon Barwise.

*Model-Theoretic Logics*. Perspectives in Mathematical Logic. New York: Springer-Verlag, 1985."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, 8-13 June 1981*, pp. 77-89. Studies in Logic and the Foundations of Mathematics, 110. Amsterdam & New York: North-Holland/Elsevier Science, 1982.

UCI Science Library QA9.56 L2 1981 Bar"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. 68-93. Berlin & New York: de Gruyter, 1979.

"A New Approach to Abstract Data Types. I. Informal Development."

*Mathematical Structures in Computer Science*(1992), 2(2):193-229."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. 79-95. Lecture Notes in Computer Science, 626. Berlin & New York: Springer-Verlag, 1992.

UCI Science Library QA75.5 W624 1991 Bar"Non-Extensional Type-Free 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. 73-118. ISILC Proof Theory Symposion, University of Kiel, 1974. Lecture Notes in Mathematics, 500. Berlin & New York: Springer-Verlag, 1975.

UCI Science Library QA3 L28 no. 500 Bar*The Number Systems: Foundations of Algebra and Analysis*. Addison-Wesley Series in Mathematics. Reading, Mass.: Addison-Wesley, 1964.*The Number Systems: Foundations of Algebra and Analysis*. 2nd edition. New York: Chelsea, 1989.

"On the Strength of Ordinal Logics." [Abstract]

*Journal of Symbolic Logic*(March 1958), 23(1):105-106.

UCI Science Library BC1 J6 Drum"Ordinal Logic." In Robert Audi, ed.,

*The Cambridge Dictionary of Philosophy*, pp. 550-551. Cambridge: Cambridge University Press, 1995.

UCI Main Library Reference B41 C35 1995"Ordinal Logics." In Edward Craig, ed.,

*The Routledge Encyclopedia of Philosophy*, Vol. 7, pp. 139-143. London & New York: Routledge, 1998.

UCI Main Library Reference B51 R68 1998"Ordinal Logics Re-Examined." [Abstract]

*Journal of Symbolic Logic*(March 1958), 23(1):105.

UCI Science Library BC1 J6 Drum"Ordinals and Functionals in Proof Theory."

*Actes du Congrès International des Mathématiciens, 1970*, Tome 1, pp. 229-233. Publiés sous la direction du Comité d'Organisation du Congrès. 11th International Congress of Mathematicians, 1970, Nice, France. Paris: Gauthier-Villars, 1971.

"Penrose's Gödelian Argument."

*Psyche*(1996), 2:21-32."Persistent and Invariant Formulas for Outer Extensions."

*Compositio Mathematica*(1968), 20:29-52.

The issue is dedicated to A. Heyting on the occasion of his 70th birthday.

UCI Science Library QA1 C73 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]:480-485.

UCI Science Library QA1 A52 Drum"Polymorphic Typed Lambda-Calculi in a Type-Free Axiomatic Framework." In Wilfried Sieg, ed.,

*Logic and Computation: Proceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987*, pp. 101-136. Contemporary Mathematics (American Mathematical Society), 106. Providence, R.I.: American Mathematical Society, 1990.

UCI Science Library QA9.59 .W67 1987 Bar(with Geoffrey Hellman.) "Predicative Foundations of Arithmetic."

*Journal of Philosophical Logic*(February 1995), 24(1):1-17.

UCI Main Library BC51 J68(with Sergei Artemov, George Boolos, Erwin Engeler, Gerhard Jäger, and Albert Visser.) "Preface."

*Annals of Pure and Applied Logic*(September 12, 1995), 75(1-2):1.

Issue is entitled "Invited papers presented at the Conference on Proof Theory, Provability Logic, and Computation, March 20-24, 1994, Berne, Switzerland."

UCI Science Library BC135 A4 Drum"Predicative Provability in Set Theory."

*Bulletin of the American Mathematical Society*May (1966), 72(3) [702]:486-489.

UCI Science Library QA1 A52 Drum"Predicatively Reducible Systems of Set Theory." In Dana S. Scott, ed.,

*Axiomatic Set Theory*, pp. 11-32 Symposium in Pure Mathematics, University of California, Los Angeles, 1967. Proceedings of Symposia in Pure Mathematics, 13, Part II. Providence: American Mathematical Society, 1971-74.

UCI Science Library QA248 S95 Bar"Product Operations on Relational Systems." [Abstract]

*Bulletin of the American Mathematical Society*(March 1955), 61:172.

UCI Science Library QA1 A5202 Drum"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."Proof Theory." In Donald M. Borchert, ed.,

*The Encyclopedia of Philosophy. Supplement*, pp.466-469. New York: Macmillan Reference USA, Simon & Schuster Macmillan; London: Simon & Schuster and Prentice Hall International, 1996.

UCI Main Lib B41 E5 1996 Reference"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. 47-63. Boston: Academic Press, 1991.

UCI Science Library Q335.5 A77 1991 Bar

"Recursion in Total Functionals of Finite Type."

*Compositio Mathematica*(1977), 35(1):3-22.

UCI Science Lib QA1 C73 Bar"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. 55-98. Studies in Logic and the Foundations of Mathematics, 94. Amsterdam & New York: North-Holland/Elsevier, 1978."Reflecting on Incompleteness."

*Journal of Symbolic Logic*(March 1991), 56(1):1-49.

Retiring Presidential Address.

UCI Science Library BC1 J6 Drum"Reflection Principles." In Robert Audi, ed.,

*The Cambridge Dictionary of Philosophy*, p. 682. Cambridge: Cambridge University Press, 1995.

UCI Main Library Reference B41 C35 1995(with Jon Barwise and Leo Harrington.) "Reno, 1976."

*Journal of Symbolic Logic*(March 1977), 42(1):156.

UCI Science Library BC1 J6 Drum(with A. Ahrenfeucht.) "Representability of Recursively Enumerable Sets in Formal Theories."

*Archiv für Mathematische Logik und Grundlagenforschung*(1959), 5:37-41.Review of Gaisi Takeuti's

*Proof Theory*.*Bulletin of the American Mathematical Society*(May 1977), 83(3) [768]:351-361.

UCI Science Library QA 1 A5202 DrumReview of Kurt Schütte's

*Proof Theory*(Translated by J.N. Crossley).*Bulletin of the American Mathematical Society*(New Series) (1979), 1:224-228.

UCI Science Library QA1 A5202 DrumReview of Ray Mines and Fred Richman's

*A Course in Constructive Algebra*.*American Scientist*(July-August 1989), 77(4):402.

UCI Science Library Q11 A47 Drum

"Sentences of Arithmetic which Formally Express Consistency." [Abstract]

*Journal of Symbolic Logic*(March 1957), 22(1):106-107.

UCI Science Library BC1 J6 Drum"Set-Theoretical Foundations of Category Theory. (With an Appendix by G. Kreisel." In S. MacLane, ed.,

*Reports of the Midwest Category Seminar III*, pp. 201-247. Lecture Notes in Mathematics, 106. Berlin & New York: Springer, 1969.

UCI Science Library QA3 L28 no. 106 Bar"Sistemas ."

*O Teorema de Godel e a hipotese do continuo: antologica*. Organizada, prefaciada e traduzida por Manuel Lourenco. Lisbon: Fundacao Calouste Gulbenkian, 1979."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. 89-95. International Symposium on the Theory of Models, 1963, Berkeley, Calif. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 1965.

UCI Main Lib BC135 I586 1963"Some Applications of the Notions of Forcing and Generic Sets."

*Fundamenta Mathematicae*(1965), 56:325-345.

UCI Science Library QA1 F8 Drum"Some Completeness Results for Recursive Progressions of Theories. (Ordinal Logics)." [Abstract]

*Journal of Symbolic Logic*(1959), 24:312-313.

UCI Science Library BC1 J6 Drum"Sum Operations on Relational Systems." [Abstract]

*Bulletin of the American Mathematical Society*(March 1955), 61:172.

UCI Science Library QA1 A5202 Drum(with Gerhard Jäger.) "Systems of Explicit Mathematics with Non-Constructive Mu-Operator." (Part I)

*Annals of Pure and Applied Logic*(December 15, 1993), 65(3):243-263.

UCI Science Library BC135 A4 Drum(with Gerhard Jäger.) "Systems of Explicit Mathematics with Non-Constructive Mu-Operator." (Part II)

*Annals of Pure and Applied Logic*(May 2, 1996), 79(1):37-52.

UCI Science Library BC135 A4 Drum"Systems of Predicative Analysis."

*Journal of Symbolic Logic*(March 1964), 29(1):1-30.

UCI Science Library BC1 J6 Drum"Systems of Predicative Analysis, II: Representation of Ordinals."

*Journal of Symbolic Logic*(June 1968), 33(2):193-220.

UCI Science Library BC1 J6 Drum

"Tarski and Gödel: Between the Lines." In Jan Wolenski and Eckehart Kohler, eds.,

*Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism*, pp. 53-63. Vienna Circle Institute Yearbook, 6. Dordrecht & Boston: Kluwer, 1999."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. 913-971. Studies in Logic and the Foundations of Mathematics, 90. Amsterdam & New York: North-Holland, 1977.

UCI Science Lib QA9 H32 Bar"A Theory of Variable Types."

*Revista Colombiana de Matématicas*(1985), 19(1-2):95-105.

Proceedings of the 5th Latin American Sympsoium on Mathematical Logic, Bogotá, 1981."Toward Useful Type-Free Theories."

*Journal of Symbolic Logic*(March 1984), 49(1):75-111.

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."Transfinite Recursive Progressions of Axiomatic Theories."

*Journal of Symbolic Logic*(September 1962), 27(3):259-316.

UCI Science Library BC1 J6 Drum"Turing in the Land of O(z)." In Rolf Herken, ed.,

*The Universal Turing Machine: A Half-Century Survey*, pp. 113-147. Oxford & New York: Oxford University Press, 1988.

UCI Science Library QA267 U55 1988 Bar"Turing's 'Oracle': From Absolute to Relative Computability--and Back." In Javier Echeverria, Andoni Ibarra, and Thomas Mormann, eds.,

*The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations*, pp. 314-348. Foundations of Communication and Cognition. Berlin & New York: de Gruyter, 1992."Two Notes on Abstract Model Theory. I. Properties Invariant on the Range of Definable Relations between Structures."

*Fundamenta Mathematicae*(1974), 82:153-165.

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 Semi-Invariantly Implicitly Definable."

*Fundamenta Mathematicae*(1975), 89(2):111-130.

(with T. Strahm.) "The Unfolding of Non-Finist Arithemtic."

*Annals of Pure and Applied Logic*. Forthcoming.

"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. 59-93. Organizzato dalla Societa Italiana di Logica e Filosofia delle Scienze (SILFS): Cesena, 7-10 gennario 1987. Bologna: CLUEB [Cooperativa Libraria Universitaria Editrice Bologna], 1988."What Does Logic have to Tell Us about Mathematical Proofs?"

*Mathematical Intelligencer*(1979-80), 2(1):20-24.

UCI Science Library QA1 M427 Drum"What Rests on What? The Proof-Theoretic Analysis of Mathematics." In Johannes Czermak, ed.,

*Philosophy of Mathematics: Proceedings of the 15th International Wittgenstein-Symposium: 16th to 23rd August 1992, Kirchberg am Wechsel(Austria)/Philosophie der Mathematik: Akten des 15. Internationalen Wittgenstein-Symposiums: 16. bis 23. August 1992, Kirchberg am Wechsel (Osterreich)*, Vol. 1, pp. 147-171. Schriftenreihe der Wittgenstein-Gesellschaft, 20. Vienna: Hölder-Pichler-Tempsky, 1993.

UCI Main 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:442-455.

UCI Science Library Q174 P58a Drum"Working Foundations."

*Synthese*(February 1985), 62(2):229-254.

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"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. 99-124.*Boston Studies in the Philosophy of Science*, 140. Dordrecht & Boston: Kluwer Academic, 1993.

UCI Science Library Q174 B67 v.140 Bar

Avigard, Jeremy. Review of Solomon Feferman's

*In the Light of Logic*(1998).*Journal of Philosophy*(December 1999), 96(2):638-642.Sandu, Gabriel. "If-Logic and Truth-Definition."

*Journal of Philosophical Logic*(April 1998), 27(2):143-164.

UCI Main Library BC51 J68Turner, Raymond. "Three Theories of Nominalized Predicates."

*Studia Logica*(1985), 44:165-186. UCI Main Library B18 P6 S88- Vourtsanis, Yiannis.
"A Direct Proof of the Feferman-Vaught Theorem and Other
Preservation
Theorems in Prodycts."
*Journal of Symbolic Logic*(June 1991), 56(2):632-636. Weiermann, Andreas. "A Functorial Property of the Aczel-Buchholz-Feferman Function."

*Journal of Symbolic Logic*(September 1994), 59(3):945-955.

[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]

Copyright © All rights reserved. Regents of the University of
California.