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 BibTeX

Volume 65, Number 2, 1 December 1993

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

Volume 65, Number 3, 15 December 1993

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