Volume 161, Number 1, October 2009
, Isar Stubbe
: On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular.
: Covering theorems for the core model, and an application to stationary set reflection.
Volume 161, Number 2, November 2009
: Arithmetical complexity of fuzzy predicate logics - A survey II.
: On the reflection invariance of residuated chains.
: Generalizations of Boolean products for lattice-ordered algebras.
: Interpretation of De Finetti coherence criterion in Lukasiewicz Logic.
Volume 161, Number 3, December 2009
: The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem.
Jennifer M. Davoren
: On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.
: A modal provability logic of explicit and implicit proofs.
: Hypersequent calculi for intuitionistic logic with classical atoms.
Volume 161, Number 4, January 2010
: A non-implication between fragments of Martin's Axiom related to a property which comes from Aronszajn trees.
, Giovanni Curi
: On the T1 axiom and other separation properties in constructive point-free and point-set topology.
Y. Firat Çelikler
: On some definable sets over fields with analytic structure.
Volume 161, Number 5, February 2010
Volume 161, Number 6, March 2010
: Quelques effets pervers de la positivité.
Volume 161, Number 7, April 2010
L. Motto Ros
: Beyond Borel-amenability: Scales and superamenable reducibilities.
: Global singularization and the failure of SCH.
: Elementary differences between the degrees of unsolvability and degrees of compressibility.
: Global square sequences in extender models.
Volume 161, Number 8, May 2010
: The complexity of temporal logic over the reals.
Volume 161, Number 9, June 2010
Volume 161, Number 10, July 2010
: Club-guessing, stationary reflection, and coloring theorems.
: A minimal classical sequent calculus free of structural rules.
: Borel reductions of profinite actions of SLn(Z).
: Martin's Axiom and embeddings of upper semi-lattices into the Turing degrees.
Volume 161, Number 11, August 2010
Volume 161, Number 12, September 2010
: Logic for update products and steps into the past.
: Infinitely Peano differentiable functions in polynomially bounded o-minimal structures.
: More infinity for a better finitism.
: Special transformations in algebraically closed valued fields.
Adam R. Day
: The computable Lipschitz degrees of computably enumerable sets are not dense.
: Erratum to "On the reflection invariance of residuated chains" [Ann. Pure Appl. Logic 161 (2009) 220-227].