Volume 141, Numbers 1-2, August 2006
Monica Van Dieren
: Categoricity in abstract elementary classes with no maximal models.
: Interpolation and Beth's property in propositional many-valued logics: A semantic investigation.
Volume 141, Number 3, September 2006
Papers presented at the Second St. Petersburg Days of Logic and Computability Conference on the occasion of the centennial of Andrey Andreevich Markov, Jr.
Dan E. Willard
: A generalization of the Second Incompleteness Theorem and some exceptions to it.