Volume 48, Number 1, 2007
: Introduction to the Special Issue on Vaught's Conjecture.
: Complexity Ranks of Countable Models.
: A Note on Counterexamples to the Vaught Conjecture.
R. W. Knight
: Categories of Topological Spaces and Scattered Theories.
: The Borel Complexity of Isomorphism for Theories with Many Types.
: The Number of Countable Differentially Closed Fields.
Volume 48, Number 2, 2007
Edwin D. Mares
: The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.
: Church's Thesis and the Conceptual Analysis of Computability.
: A Note on Weakly O-Minimal Structures and Definable Completeness.
Volume 48, Number 3, 2007
Joost J. Joosten
: Propositional Proof Systems and Fast Consistency Provers.
: Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint.
Volume 48, Number 4, 2007
: Finiteness Axioms on Fragments of Intuitionistic Set Theory.
: An Algebraic Approach to the Disjunction Property of Substructural Logics.
: The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.