Annals of Pure and Applied Logic, Volume 156

Volume 156, Number 1, November 2008

• S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko A. Väänänen:
  Preface. 1-2
  
• Klaus Aehlig:
  Parameter-free polymorphic types. 3-12
  
• Marat M. Arslanov, Ilnur I. Batyrshin, Roland Sh. Omanadze:
  Structural properties of Q-degrees of n-c. e. sets. 13-20
  
• George Barmpalias, Andrew E. M. Lewis, Frank Stephan:
  I classes, LR degrees and Turing degrees. 21-38
  
• Ulrich Berger:
  A domain model characterising strong normalisation. 39-50
  
• Rod Downey, Noam Greenberg, Joseph S. Miller:
  The upward closure of a perfect thin class. 51-58
  
• Harvey M. Friedman:
  What is o-minimality? 59-67
  
• Nicola Gambino:
  The associated sheaf functor theorem in algebraic set theory. 68-77
  
• Ivo Herzog, Sonia L'Innocente:
  The nonstandard quantum plane. 78-85
  
• Bakhadyr Khoussainov, Frank Stephan, Yue Yang:
  Computable categoricity and the Ershov hierarchy. 86-95
  
• Piotr Kowalski:
  A note on a theorem of Ax. 96-109
  
• Paul B. Larson:
  Martin's Maximum and definability in H(xaleph₂). 110-122
  
• Benno van den Berg, Ieke Moerdijk:
  Aspects of predicative algebraic set theory I: Exact completion. 123-159
  
• Wolfram Pohlers:
  Ordinal analysis of non-monotone I-definable inductive definitions. 160-169
  
• Jan Reimann:
  Effectively closed sets of measures and randomness. 170-182
  

Volume 156, Numbers 2-3, December 2008

• J. Robin B. Cockett, P. J. W. Hofstra:
  Introduction to Turing categories. 183-209
  
• Antongiulio Fornasiero, Marcello Mamino:
  Arithmetic of Dedekind cuts of ordered Abelian groups. 210-244
  
• Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman:
  Partial automorphism semigroups. 245-258
  
• Sy-David Friedman, Pavel Ondrejovic:
  The internal consistency of Easton's theorem. 259-269
  
• Justin Tatch Moore, Slawomir Solecki:
  A G_delta ideal of compact sets strictly above the nowhere dense ideal in the Tukey order. 270-273
  
• David W. Kueker:
  Abstract elementary classes and infinitary logics. 274-286
  
• Pantelis E. Eleftheriou:
  A semi-linear group which is not affine. 287-289
  
• Bodil Biering:
  Cartesian closed Dialectica categories. 290-307
  
• Ali Enayat:
  A standard model of Peano arithmetic with no conservative elementary extension. 308-318