The Bulletin of Symbolic Logic

Volume 12, 2006

Articles
  • What is Tarski’s common concept of consequence?, by Ignacio Jané, pages 1 — 42.
  • Computing with functionals—computability theory or computer science?, by Dag Normann, pages 43 — 59.
  • What is neologicism?, by Bernard Linsky and Edward N. Zalta, pages 60 — 99.
  • Nonstandard arithmetic and reverse mathematics, by H. Jerome Keisler, pages 100 — 125.
  • Classifying the provably total functions of PA, by Andreas Weiermann, pages 177 — 190.
  • Classification from a computable viewpoint, by Wesley Calvert and Julia F. Knight, pages 191 — 218.
  • Schemata: the concept of schema in the history of logic, by John Corcoran, pages 219 — 240.
  • Weak distributivity, a problem of von Neumann and the mystery of measurability, by Bohuslav Balcar and Thomas Jech, pages 241 — 266.
  • Closing the circle: an analysis of Emil Post’s early work, by Liesbeth De Mol, pages 267 — 289.
  • Degree structures: local and global investigations, by Richard A. Shore, pages 369 — 389.
  • Randomness and computability: open questions, by Joseph S. Miller and André Nies, pages 390 — 410.
  • Calibrating randomness, by R. Downey, D. R. Hirschfeldt, A. Nies, and S. A. Terwijn, pages 411 — 491.
  • Gödel’s Program revisited, Part I: the turn to phenomenology, by Kai Hauser, pages 529 — 590.

    •

    Communications
  • Internal consistency and the inner model hypothesis, by Sy-David Friedman, pages 591 — 600.
    •
  • Reviews, pages 126 — 142.
  • I. Farah, Analytic quotients, reviewed by D. H. Fremlin, page 126.
  • K. R. Apt, Principles of constraint programming, reviewed by Hubie Chen, page 128.
  • G. Priest, J. C. Beall, and B. Armour-Garb (editors), The law of non-contradiction: New philosophical essays, reviewed by Francis Jeffry Pelletier, page 131.
  • H.-C. Schmidt am Busch and K. F. Wehmeier (editors), Heinrich Scholz. Logiker, Philosoph, Theologe, reviewed by Matthias Wille, page 135.
  • V. F. Hendricks, Logical lyrics: From philosophy to poetics, reviewed by Amirouche Moktefi, page 137.
  • V. Peckhaus (editor), Oskar Becker und die Philosophie der Mathematik, reviewed by Risto Vilkko, page 137.
  • M. van Lambalgen and F. Hamm, The proper treatment of events, reviewed by Marcus Kracht, page 139.
  • R. Wolf, A tour through mathematical logic, reviewed by Michael Stob, page 141.
    •
  • Reviews, pages 290 — 309.
  • J. Nolt, Logics, reviewed by Richard L. Epstein, page 290.
  • B. Hale and C. Wright, The reason’s proper study: Essays toward a neo-Fregean philosophy of mathematics, reviewed by Gabriel Uzquiano, page 291.
  • G. Priest, An introduction to non-classical logic, reviewed by Petr Hájek, page 294.
  • F. Kamareddine, T. Laan, and R. Nederpelt, A modern perspective on type theory—From its origins until today, reviewed by Marc Bezem, page 296.
  • T. Ehrhard, J.-Y. Girard, P. Ruet, and P. Scott, Linear logic in computer science, reviewed by Andrzej S. Murawski, page 297.
  • I. Neeman, The determinacy of long games, reviewed by Andrés Eduardo Caicedo, page 299.
  • D. J. Pym and E. Ritter Reductive logic and proof-search—Proof theory, semantics, and control, reviewed by Didier Galmiche, page 302.
  • M. Mitzenmacher and E. Upfal, Probability and computing: Randomized algorithms and probabilistic analysis, reviewed by Mary Cryan, page 304.
  • E. Schechter, Classical and nonclassical logic: an introduction to the mathematics of propositions, reviewed by Roger D. Maddux, page 308.
    •
  • Reviews, pages 492 — 502.
  • M. Hallett and U. Majer (editors), David Hilbert’s lectures on the foundations of geometry 1891—1902, reviewed by Jan von Plato, page 492.
  • M. Dietzfelbinger, Primality testing in polynomial time, reviewed by Charles Rackoff, page 494.
  • D. Macbeth, Frege’s logic, reviewed by Norma B. Goethe, page 496.
  • A. Bundy, D. Basin, D. Hutter and A. Ireland, Rippling: meta-level guidance for mathematical reasoning, reviewed by Joe Hurd, page 498.
  • D. Makinson, Bridges from classical to nonmonotonic logic, reviewed by Hykel Hosni, page 499.
    •
  • Reviews, pages 601 — 612.
  • M. Tiles, The philosophy of set theory, an historical introduction to Cantor’s paradise, reviewed by M. Randall Holmes, page 601.
  • P. Cholak (editor), The Notre Dame Lectures, reviewed by Roman Kossak, page 605.
  • W. Tait, The provenance of pure reason: essays in the philosophy of mathematics and its history, reviewed by Jeremy Avigad, page 608.
  • L. Crosilla and P. Schuster (editors), From sets and types to topology and analysis—towards practicable foundations for constructive mathematics, reviewed by Jaap van Oosten, page 611.
    •

    • Meetings of the Association
  • 2005 Annual Meeting of the Association for Symbolic Logic, Stanford University, Stanford, CA, March 19—22, 2005, pages 143 — 167.
  • 2005 Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’05, Athens, Greece, July 28—August 3, 2005, pages 310 — 361.
  • 2005—06 Winter Meeting of the Association for Symbolic Logic, The Hilton New York Hotel, New York, NY, December 27—29, 2005, pages 503 — 516.
  • 2005—06 Winter Meeting of the Association for Symbolic Logic, San Antonio Convention Center, San Antonio, Texas, January 14—15, 2006, pages 613 — 624.
    •

    Meetings sponsored by the Association
  • 2005 Annual Conference of the Australasian Association for Logic, Perth, Australia, September 24—25, 2005, pages 517 — 523.
    •
  • Notices, pages 168 — 173.
  • Notices, pages 362 — 366.
  • Notices, pages 524 — 528.
  • Notices, pages 687 — 690.
    •

    Member, officers and committees of the Association

  • Members of the Association, pages 625 — 681.
  • Officers and Committees of the Association for Symbolic Logic, pages 682 — 686.
    •
    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.