Annals of Pure and Applied Logic, Volume 135

Volume 135, Numbers 1-3, September 2005

• Duminda Wijesekera, Anil Nerode:
  Tableaux for constructive concurrent dynamic logic. 1-72
  
• Fernando Ferreira, Paulo Oliva:
  Bounded functional interpretation. 73-112
  
• Marcus Tressl:
  The elementary theory of Dedekind cuts in polynomially bounded structures. 113-134
  
• Kerry Ojakian:
  Upper and lower Ramsey bounds in bounded arithmetic. 135-150
  
• Wim Veldman:
  Two simple sets that are not positively Borel. 151-209
  
• Claude Sureson:
  A generalization of von Neumann regularity. 210-242
  
• Erik Palmgren:
  Constructive completions of ordered sets, groups and fields. 243-262
  
• Clare Dixon, Alexander Bolotov, Michael Fisher:
  Alternating automata and temporal logic normal forms. 263-285
  
• Piotr Kowalski:
  Geometric axioms for existentially closed Hasse fields. 286-302