Annals of Pure and Applied Logic, Volume 75

Volume 75, Numbers 1-2, 12 September 1995

• Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser: Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. 1
• Matthias Baaz, Richard Zach:
  Generalizing Theorems in Real Closed Fields. 3-23
  
• Lev D. Beklemishev:
  Iterated Local Reflection Versus Iterated Consistency. 25-48
  
• Alessandro Berarducci, Paola D'Aquino:
  Delta₀-Complexity of the Relation y = \prod_{i <= n} F(i). 49-56
  
• Wilfried Buchholz:
  Proof-Theoretic Analysis of Termination Proofs. 57-65
  
• Samuel R. Buss:
  Relating the Bounded Arithmetic and Polynomial Time Hierarchies. 67-77
  
• Fernando Ferreira:
  What are the forall Sigma^b₁-Consequences of T¹₂ and T²₂? 79-88
  
• Thomas Glaß:
  Understanding Uniformity in Feferman's Explicit Mathematics. 89-106
  
• Max I. Kanovich:
  Petri Nets, Horn Programs, Linear Logic and Vector Games. 107-135
  
• Alexey P. Kopylov:
  On NP-Completeness in Linear Logic. 137-152
  
• Karl-Heinz Niggl:
  Towards the Computational Complexity of PR^omega-Terms. 153-178
  
• Mati Pentus:
  Models for the Lambek Calculus. 179-213
  

Volume 75, Number 3, 27 October 1995

• Christopher J. Ash, Julia F. Knight:
  Possible Degrees in Recursive Copies. 215-221
  
• Ewan J. Barker:
  Back and Forth Relations for Reduced Abelian p-Groups. 223-249
  
• James Cummings, Saharon Shelah:
  Cardinal Invariants Above the Continuum. 251-268
  
• André Nies, Richard A. Shore:
  Interpreting True Arithmetic in the Theory of the r.e. Truth Table Degrees. 269-311
  

Last update Tue May 21 18:21:23 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page