Annals of Pure and Applied Logic

Toward categoricity for classes with no maximal models
pp. 1-25(25)
Authors: Shelah S.; Villaveces A.

On -conversion in the -cube and the combination with abbreviations
pp. 27-45(19)
Authors: Kamareddine F.; Bloo R.; Nederpelt R.

On distinguishing quotients of symmetric groups
pp. 47-83(37)
Authors: Shelah S.; Truss J.K.

Extended order-generic queries
pp. 85-125(41)
Authors: Belegradek O.V.; Stolboushkin A.P.; Taitslin M.A.

Cut normal forms and proof complexity
pp. 127-177(51)
Authors: Baaz M.; Leitsch A.

Ordinals and ordinal functions representable in the simply typed lambda calculus
pp. 179-201(23)
Author: Danner N.

Hierarchies of measure-theoretic ultrafilters
pp. 203-219(17)
Author: Benedikt M.

Bar induction and model reflection
pp. 221-230(10)
Authors: Jager G.; Strahm T.

Succinctness as a source of complexity in logical formalisms
pp. 231-260(30)
Authors: Gottlob G.; Leone N.; Veith H.