Annals of Pure and Applied Logic, Volume 145

Volume 145, Number 1, January 2007

• Predrag Tanovic:
  Non-isolated types in stable theories. 1-15
  
• Ali Enayat:
  Automorphisms of models of arithmetic: A unified view. 16-36
  
• Satoshi Matsuoka:
  Weak typed Böhm theorem on IMLL. 37-90
  
• Zofia Adamowicz, Leszek Aleksander Kolodziejczyk:
  Partial collapses of the Sigma₁ complexity hierarchy in models for fragments of bounded arithmetic. 91-95
  
• Assaf Hasson:
  Interpreting structures of finite Morley Rank in strongly minimal sets. 96-114
  

Volume 145, Number 2, February 2007

• Fernando Ferreira, Paulo Oliva:
  Bounded functional interpretation and feasible analysis. 115-129
  
• Gunnar Wilken:
  Ordinal arithmetic based on Skolem hulling. 130-161
  
• Gunnar Wilken:
  Sigma₁-elementarity and Skolem hull operators. 162-175
  
• Harold Simmons:
  A coverage construction of the reals and the irrationals. 176-203
  
• Claude Sureson:
  A valuation ring analogue of von Neumann regularity. 204-222
  

Volume 145, Number 3, March 2007

• Robert Saxon Milnikel:
  Derivability in certain subsystems of the Logic of Proofs is Pi₂^p-complete. 223-239
  
• Milos S. Kurilic:
  Splitting families and forcing. 240-251
  
• Andrew E. M. Lewis, George Barmpalias:
  Randomness and the linear degrees of computability. 252-257
  
• Gennadi Puninski, Vera Puninskaya, Carlo Toffalori:
  Decidability of the theory of modules over commutative valuation domains. 258-275
  
• Masahiro Hamano, Philip J. Scott:
  A categorical semantics for polarized MALL. 276-313
  
• Erik Palmgren, Steven J. Vickers:
  Partial Horn logic and cartesian categories. 314-353
  
• Beibut Sh. Kulpeshov:
  Criterion for binarity of N₀-categorical weakly o-minimal theories. 354-367
  
• Silvio Valentini:
  Constructive characterizations of bar subsets. 368-378