Annals of Pure and Applied Logic, Volume 65

Volume 65, Number 1, 18 November 1993

• Rodney G. Downey, Michael Stob:
  Splitting Theorems in Recursion Theory. 1-106
  

Volume 65, Number 2, 1 December 1993

• James Cummings:
  Possible Behaviours for the Mitchell Ordering. 107-123
  
• Roman Kossak, Henryk Kotlarski, James H. Schmerl:
  On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA. 125-148
  
• Robert McNaughton:
  Infinite Games Played on Finite Graphs. 149-184
  
• John R. Steel:
  Inner Models with Many Woodin Cardinals. 185-209
  

Volume 65, Number 3, 15 December 1993

• Randall Dougherty:
  Critical Points in an Algebra of Elementary Embeddings. 211-241
  
• Solomon Feferman, Gerhard Jäger:
  Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. 243-263
  
• Juha Oikkonen, Jouko A. Väänänen:
  Game-Theoretic Inductive Definability. 265-306
  

Last update Wed Feb 15 05:23:49 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page