The Bulletin of Symbolic Logic

Volume 11, 2005

  • Kurt Gödel (1906—1978) page 129.
  • Preface, by Akihiro Kanamori, page 131.
    •

    Articles
  • Mass problems and randomness, by Stephen G. Simpson, pages 1— 27.
  • The Gödel editorial project: A synopsis, by Solomon Feferman, pages 132—149.
  • Future tasks for Gödel scholars, by John W. Dawson, Jr. and Cheryl A. Dawson, pages 150—171.
  • Only two letters: The correspondence between Herbrand and Gödel, by Wilfried Sieg, pages 172—184.
  • On Gödel’s way in: the influence of Rudolf Carnap, by Warren Goldfarb, pages 185—193.
  • What did Gödel believe and when did he believe it?, by Martin Davis, pages 194—206.
  • Gödel’s conceptual realism, by Donald A. Martin, pages 207—224.
  • Gödel’s reformulation of Gentzen’s first consistency proof for arithmetic: the no-counterexample interpretation, by W. W. Tait, pages 225—238.
  • Tiering as a recursion technique, by Harold Simmons, pages 321—350.
  • Mathematical existence, by Penelope Maddy, pages 351—376.
  • Turing computations on ordinals, by Peter Koepke, pages 377—397.
  • Algebraic logic, where does it stand today? by Tarek Sayed Ahmed, pages 465—516.
    •

    Communications
  • Compactness and independence in non first order frameworks, by Itay Ben-Yaacov, pages 28— 50.
  • Proper forcing, cardinal arithmetic, and uncountable linear orders, by Justin Tatch Moore, pages 51— 60.
  • The role of true finiteness in the admissible recursively enumerable degrees, by Noam Greenberg, pages 398—410.
  • Partition Theorems and Computability Theory, by Joseph R. Mileti, pages 411—427.
  • Undecidability of first-order intuitionistic and modal logics with two variables, by Roman Kontchakov, Agi Kurucz, and Michael Zakharyaschev, pages 428—438.
  • Geometric cardinal invariants, maximal functions and a measure theoretic pigeonhole principle, by Juris Steprāns, pages 517—525.
  • Reverse mathematics and Π 12 comprehension, by Carl Mummert and Stephen G. Simpson, pages 526—533.
    •
  • Reviews, pages 61— 91.
  • P. Howard and J. E. Rubin Consequences of the axiom of choice, reviewed by Andreas Blass, page 61.
  • P. Philipp, Logisch-philosophische Untersuchungen, reviewed by Alexandra Zinck and Uwe Scheffler, page 63.
  • P. T. Johnstone, Sketches of an elephant: a topos theory compendium, reviewed by Steve Awodey, page 65.
  • R. Brady (editor), Relevant logics and their rivals, Volume II, reviewed by Nicholas Griffin, page 70.
  • N. Griffin (editor), Selected papers from The Cambridge companion to Bertrand Russell, reviewed by Peter Koellner, page 72.
  • D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-dimensional modal logics: theory and applications, reviewed by Mark Reynolds, page 77.
  • C. Chihara, A structural account of mathematics, reviewed by Fraser MacBride, page 79.
  • A. W. F. Edwards, Cogwheels of the mind, reviewed by Katherine Thompson, page 83.
  • I. Jané and C. Wright, Two articles on “relativity”, reviewed by Peter Schotch, page 84.
  • A. Weiermann, An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions, reviewed by Albert A. Mullin, page 89.
  • J. Dawson (editor), A Festschrift in honour of Professor Ivor Grattan-Guinness, reviewed by Risto Vilkko, page 89.
    •
  • Reviews, pages 239—248.
  • W. Sieg, R. Sommer, and C. Talcott, editors, Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, reviewed by David Charles McCarty, page 239.
  • G. Tourlakis, Lectures in Logic and Set Theory, vols. I & II, reviewed by Joel David Hamkins, page 241.
  • T. Jech, Set theory, reviewed by Greg Hjorth, page 243.
  • D. Perrin and J.-E. Pin, Infinite words: automata, semigroups, logic and games, reviewed by Thomas Wilke, page 246.
  • R. Zach, Hilbert’s ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs, reviewed by Dirk Schlimm, page 247.
    •
  • Reviews, pages 439—453.
  • G. Mints and R. Muskens (editors), Games, logic, and constructive sets, reviewed by Ian Hodkinson, page 439.
  • Bertrand Russell, Correspondance avec Louis Couturat (1897—1913), reviewed by Alasdair Urquhart, page 442.
  • M. Wolff, Abhandlung über die Prinzipien der Logik, reviewed by Ignacio Angelelli, page 444.
  • Erich H. Reck and Steve Awodey, editors, Frege’s lectures on logic, reviewed by Michael Beaney, page 445.
  • Manuel Bremer, An introduction to paraconsistent logics, reviewed by Casey McGinnis, page 447.
  • S. Shelah, On cardinal invariants of the continuum, reviewed by Juris Steprans, page 451.
    •
  • Reviews, pages 534—544.
  • D. Christensen, Putting logic in its place, reviewed by Henry E. Kyburg, Jr., page 534.
  • A. B. Feferman and S. Feferman, Alfred Tarski, Life and Logic, reviewed by Roger D. Maddux, page 535.
  • B. J. Copeland, The essential Turing, reviewed by Jan Obdržálek, page 541.
  • Three papers by I. Neeman, reviewed by Paul B. Larson, page 542.
    •

  • Erratum, page 319.
  • Corrigendum to “In memoriam: Walter Felscher, 1931—2000”, by Michael M. Richter, pages 545—546.
    •

    Meetings of the Association
  • 2004 Annual Meeting of the Association for Symbolic Logic, Carnegie Mellon University, Pittsburgh, PA, May 19—23, 2004, pages 92—119.
  • 2004 Summer Meeting of the Association for Symbolic Logic, Torino, Italy, July 25—31, 2004, pages 249—312.
  • 2004—05 Winter Meeting of the Association for Symbolic Logic, Atlanta Marriott Marquis, Atlanta, Georgia, January 7—8, 2005, pages 454—460.
  • 2005 Spring Meeting of the Association for Symbolic Logic, The Westin St. Francis Hotel, San Francisco, CA, March 25—26, 2005, pages 547—556.
    •

    Meetings sponsored by the Association
  • 11th Workshop on Logic, Language, Information and Computation (WoLLIC ’2004), Fontainebleau (Univ. Paris XII), France, July 19—22, 2004, pages 120—121.
  • Logic, Computability, and Randomness, Córdoba, Argentina, September 20—24, 2004, pages 557—557.
  • 12th Workshop on Logic, Language, Information and Computation (WoLLIC ’2005), Florianópolis (Santa Catarina), Brazil, July 19-22, 2005, pages 558—559.
    •
  • Notices, pages 122—127.
  • Notices, pages 313—318.
  • Notices, pages 461—464.
  • Notices, pages 620—625.
    •

    Officers, committees and members of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 560—563.
  • Members of the Association, pages 564—619.
    •
    The Association for Symbolic Logic holds the Copyright to the articles in the Bulletin of Symbolic Logic, and these articles cannot be reprinted without permission from the Association. They can be downloaded from this site for personal and educational uses only.