Annals of Pure and Applied Logic, Volume 62

Volume 62, Number 1, 28 June 1993

• Jacqueline Vauzeilles:
  Cut Elimination for the Unified Logic. 1-16
  

• Ernst-Jochen Thiele: Preface: A selection of papers presented at the Logic Colloquium '89. 19
• Kosta Dosen:
  Rudimentary Kripke Models for the Intuitionistic Propositional Calculus. 21-49
  
• Harvey Friedman, Stephen G. Simpson, Xiaokang Yu:
  Periodic Points and Subsystems of Second-Order Arithmetic. 51-64
  
• Grigori Mints:
  A Normal Form for Logical Derivations Implying One for Arithmetic Derivations. 65-79
  

Volume 62, Number 2, 5 July 1993

• John T. Baldwin: Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference. 81
• David M. Evans, Ehud Hrushovski:
  On the Automorphism Groups of Finite Covers. 83-112
  
• A. D. Greif, Michael C. Laskowski:
  An Omitting Types Theorem for Saturated Structures. 113-118
  
• Bradd Hart, Anand Pillay, Sergei Starchenko:
  Triviality, NDOP and Stable Varieties. 119-146
  
• Ehud Hrushovski:
  A New Strongly Minimal Set. 147-166
  
• Annalisa Marcja, Mike Prest, Carlo Toffalori:
  On the Undecidability of Some Classes of Abelian-by-Finite Groups. 167-173
  
• Anand Pillay, Philipp Rothmaler:
  Unidimensional Modules: Uniqueness of Maximal Non-Modular Submodels. 175-181
  
• Mike Prest:
  Remarks on Elementary Duality. 183-205
  

Volume 62, Number 3, 28 July 1993

• D. Kaddah:
  Infima in the d.r.e. Degrees. 207-263
  
• Alexander Yakhnis, Vladimir Yakhnis:
  Gurevich-Harrington's Games Defined by Finite Automata. 265-294
  

Last update Sat May 18 20:02:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page