Annals of Pure and Applied Logic, Volume 159

Volume 159, Numbers 1-2, May 2009

• Emil Jerábek:
  Substitution Frege and extended Frege proof systems in non-classical logics. 1-48
  
• Gennadi Puninski, Carlo Toffalori:
  Towards the decidability of the theory of modules over finite commutative rings. 49-70
  
• Andrew D. Brooke-Taylor, Sy-David Friedman:
  Large cardinals and gap-1 morasses. 71-99
  
• Cédric Rivière:
  Further notes on cell decomposition in closed ordered differential fields. 100-110
  
• Thomas Brihaye, Christian Michaux, Cédric Rivière:
  Cell decomposition and dimension function in the theory of closed ordered differential fields. 111-128
  
• Stefan Hetzl:
  Describing proofs by short tautologies. 129-145
  
• Balder ten Cate, David Gabelaia, Dmitry Sustretov:
  Modal languages for topology: Expressivity and definability. 146-170
  
• Rosalie Iemhoff, George Metcalfe:
  Proof theory for admissible rules. 171-186
  
• Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov:
  Effective categoricity of Abelian p-groups. 187-197
  
• Daniel Busche, Ralf Schindler:
  The strength of choiceless patterns of singular and weakly compact cardinals. 198-248
  

Volume 159, Number 3, June 2009

• Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov:
  Preface. 249-250
  
• Andrej Bauer, Iztok Kavkler:
  A constructive theory of continuous domains suitable for implementation. 251-267
  
• Ernst-Erich Doberkat, Christoph Schubert:
  Coalgebraic logic for stochastic right coalgebras. 268-284
  
• Yuri Leonidovich Ershov:
  On the classification of (effective) phi-spaces. 285-291
  
• Klaus Keimel, Jimmie D. Lawson:
  D-completions and the d-topology. 292-306
  
• Klaus Keimel, A. Rosenbusch, Thomas Streicher:
  A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. 307-317
  
• Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov:
  Definability in the h-quasiorder of labeled forests. 318-332
  
• Yinbin Lei, Maokang Luo:
  Rough concept lattices and domains. 333-340
  
• Vladimir Sazonov:
  Natural non-dcpo domains and f-spaces. 341-355