The Bulletin of Symbolic Logic

Volume 11, Issue 03, September 2005


Articles
  • 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.

  • Communications
  • 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.

  • Reviews, pages 439 -- 453.
  • In this issue:

  • 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.

  • Meetings of the Association
  • 2004--05 Winter Meeting of the Association for Symbolic Logic, Atlanta Marriott Marquis, Atlanta, Georgia, January 7--8, 2005, pages 454 -- 460.

  • Notices, pages 461 -- 464.

  • 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.