Volume 70, Number 1, March 2005
: Model completeness of o-minimal structures expanded by Dedekind cuts.
Clint J. van Alten
: The finite model property for knotted extensions of propositional linear logic.
: The computable dimension of trees of infinite height.
: On Kueker simple theories.
: On the weak non-finite cover property and the n-tuples of simple structures.
, Liang Yu
: On the definable ideal generated by nonbounding c.e. degrees.
: On an algebra of lattice-valued logic.
: The isomorphism problem for computable Abelian p-groups of bounded length.
Volume 70, Number 2, June 2005
, Ziv Shami
: On the type-definability of the binding group in simple theories.
Dmitrij P. Skvortsov
: The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.
: Finitely axiomatizable omega-categorical theories and the Mazoyer hypothesis.
: The Church-Rosser property in symmetric combinatory logic.
: Asymptotic theory of modules of separably closed fields.
Y. Firat Çelikler
: Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields.
: Structured pigeonhole principle, search problems and hard tautologies.
: A Schanuel condition for Weierstrass equations.
: Upward categoricity from a successor cardinal for tame abstract classes with amalgamation.
: Une fonction de Kolchin pour les corps imparfaits de degré d'imperfection fini.
Volume 70, Number 3, September 2005
: Strong compactness and stationary sets.
Trevor M. Wilson
: A continuous movement version of the Banach - Tarski paradox: A solution to de Groot's Problem.
: Bi-Borel reducibility of essentially countable Borel equivalence relations.
: Corrigendum to "Number systems with simplicity hierarchies: A generalization of Conway's theory of surreal numbers".
: Corrigendum to "A Schanuel Condition for Weierstrass Equations".
Volume 70, Number 4, December 2005
: Induction and inductive definitions in fragments of second order arithmetic.
: Elimination of imaginaries in expansions of o-minimal structures by generic sets.
Dan E. Willard
: An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency.
: The disjunction and related properties for constructive Zermelo-Fraenkel set theory.
: Cofinal families of Borel equivalence relations and quasiorders.