Annals of Pure and Applied Logic, Volume 157

Volume 157, Number 1, January 2009

• David Asperó, Sy D. Friedman:
  Large cardinals and locally defined well-orders of the universe. 1-15
  
• Pavel Pudlák:
  Quantum deduction rules. 16-29
  
• Pawel M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote:
  Definable principal congruences and solvability. 30-49
  
• Hannes Diener, Iris Loeb:
  Sequences of real functions on [0, 1] in constructive reverse mathematics. 50-61
  

Volume 157, Numbers 2-3, February 2009

• Matthias Baaz:
  Foreword. 63
  
• Jeremy Avigad:
  The metamathematics of ergodic theory. 64-76
  
• Andrey Bovykin:
  Exact unprovability results for compound well-quasi-ordered combinatorial classes. 77-84
  
• Vasco Brattka:
  A computable version of Banach's Inverse Mapping Theorem. 85-96
  
• Thierry Coquand:
  Space of valuations. 97-109
  
• David Fernández:
  Non-deterministic semantics for dynamic topological logic. 110-121
  
• Fernando Ferreira:
  Injecting uniformities into Peano arithmetic. 122-129
  
• Andreas Fischer:
  o-minimal analytic separation of sets in dimension 2. 130-138
  
• Ekaterina B. Fokina:
  Index sets for some classes of structures. 139-147
  
• Stefan Geschke:
  Low-distortion embeddings of infinite metric spaces into the real line. 148-160
  
• James Hirschorn:
  A strong antidiamond principle compatible with CH. 161-193
  
• Pavel Hrubes:
  On lengths of proofs in non-classical logics. 194-205
  
• Peter Koellner:
  On reflection principles. 206-219
  
• M. E. Malliaris:
  Realization of phi-types and Keisler's order. 220-224
  
• Yuri Matiyasevich:
  Existential arithmetization of Diophantine equations. 225-233
  
• Kentaro Sato:
  The strength of extensionality I - weak weak set theories with infinity. 234-268
  
• Henry Towsner:
  Ordinal analysis by transformations. 269-280
  
• Andreas Weiermann:
  Phase transitions for Gödel incompleteness. 281-296