- Peter Koepke, Philip D. Welch. Global square and mutual stationarity at the aleph::n::. Annals of Pure and Applied Logic, 162(10):787-806, 2011.
- Gerhard Jäger, Dieter Probst. The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Annals of Pure and Applied Logic, 162(8):647-660, 2011.
- Philip Scowcroft. Some model-theoretic correspondences between dimension groups and AF algebras. Annals of Pure and Applied Logic, 162(9):755-785, 2011.
- Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy. Projective wellorders and mad families with large continuum. Annals of Pure and Applied Logic, 162(11):853-862, 2011.
- Athanassios Tzouvaras. A combinatorial result related to the consistency of New Foundations. Annals of Pure and Applied Logic, 162(5):373-383, 2011.
- Barbara F. Csima, Reed Solomon. The complexity of central series in nilpotent computable groups. Annals of Pure and Applied Logic, 162(8):667-678, 2011.
- Sergey Babenyshev, Vladimir V. Rybakov. Unification in linear temporal logic LTL. Annals of Pure and Applied Logic, 162(12):991-1000, 2011.
- Emil Jerábek. A sorting network in bounded arithmetic. Annals of Pure and Applied Logic, 162(4):341-355, 2011.
- Alf Onshuus, Alexander Usvyatsov. Stable domination and weight. Annals of Pure and Applied Logic, 162(7):544-560, 2011.
- Gunter Fuchs. λ-structures and s-structures: Translating the iteration strategies. Annals of Pure and Applied Logic, 162(9):710-751, 2011.