The Bulletin of Symbolic Logic was established by the Association for Symbolic Logic to provide a journal of high standards to keep the logic community informed quickly of important developments in all parts of the discipline, and to be accessible and of interest to as wide an audience as possible.
Volume 8, Number 4
Publication Date: December 2002
Computability-Theoretic Complexity of Countable Structures
Valentina S. Harizanov; 457-477
Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions
R. Gregory Taylor; 478-515
Reviews
Review: Mark Balaguer, Platonism and Anti-Platonism in Mathematics
Mary Leng; 516-518
Review: Tomasz Placek, Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for Intuitionism
Leon Horsten; 518-520
Review: Grigori Mints, A Short Introduction to Intuitionistic Logic
Helmut Schwichtenberg; 520-521
Review: M. Holz, K. Steffens, E. Weitz, Introduction to Cardinal Arithmetic
Maxim R. Burke; 524-526
Review: R. G. Downey, M. R. Fellows, Parameterized Complexity
Jörg Flum; 528-529
Review: Davide Sangiorgi, David Walker, The $\pi $-Calculus: A Theory of Mobile Processes
Hans Hüttel; 530-531
Review: Sven Ove Hansson, The Structure of Values and Norms
Patrice Bailhache; 531-533
Review: Wolfgang Burr, Fragments of Heyting Arithmetic
Lev Beklemishev; 533-534
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $
Fernando Ferreira; 534-535
Review: Thomas Strahm, S. Barry Cooper, John K. Truss, First Steps into Metapredicativity in Explicit Mathematics
Andrea Cantini; 535-536
Review: Toshiyasu Arai, Consistency Proof via Pointwise Induction
Andreas Weiermann; 536-537
Review: Michael Rathjen, Samuel R. Buss, Petr Hájek, Pavel Pudlák, The Superjump in Martin-Löf Type Theory
Michael Möllerfeld; 538
Review: Solomon Feferman, Computation on Abstract Data Types. The Extensional Approach, with an Application to Streams
Jeffery Zucker; 538-542
Review: Saharon Shelah, Hugh Woodin, Large Cardinals Imply That Every Reasonably Definable Set of Reals Is Lebesgue Measurable
Joan Bagaria; 543-545
Review: Steve Jackson, A New Proof of the Strong Partition Relation on $\omega _{1}$; Steve Jackson, Admissible Suslin Cardinals in $L({\bf R})$; Steve Jackson, A Computation of $\delta _{5}^{1}$
Howard S. Becker; 546-548
Review: Itay Neeman, Jind?ich Zapletal, Proper Forcings and Absoluteness in $L({\Bbb R})$; Itay Neeman, Jind?ich Zapletal, Proper Forcing and $L({\Bbb R})$
Paul B. Larson; 548-550
Review: Andreas Blass, Haim Judah, Simple Cardinal Characteristics of the Continuum
Heike Mildenberger; 552-553
Review: B. Balcar, F. Franek, Independent Families in Complete Boolean Algebras; Bohuslav Balcar, Jan Pelant, Petr Simon, The Space of Ultrafilters on N Covered by Nowhere Dense Sets; Boban Velickovic, OCA and Automorphisms of $\scr{P}(\omega)/fin$
Klaas Pieter Hart; 554
