Annals of Pure and Applied Logic, Volume 74

Volume 74, Number 1, 27 June 1995

• Charalampos Cornaros: On Grzegorczyk Induction. 1-21 BibTeX
• Phokion G. Kolaitis, Jouko A. Väänänen: Generalized Quantifiers and Pebble Games on Finite Structures. 23-75 BibTeX
• John R. Steel: Projectively Well-Ordered Inner Models. 77-104 BibTeX

Volume 74, Number 2, 28 July 1995

• Gerhard Jäger, Thomas Strahm: Totality in Applicative Theories. 105-120 BibTeX
• Dusko Pavlovic: On Completeness and Cocompleteness in an Around Small Categories. 121-152 BibTeX
• Ernest Schimmerling: Combinatorial Principle in the Core Model for one Woodin Cardinal. 153-201 BibTeX

Volume 74, Number 3, 18 August 1995

• Arthur W. Apter, Menachem Magidor: Instances of Dependent Choice and the Measurability of aleph_{omega + 1}. 203-219 BibTeX
• Samuel R. Buss, Aleksandar Ignjatovic: Unprovability of Consistency Statements in Fragments of Bounded Arithmetic. 221-244 BibTeX
• Kai Hauser: The Consistency Strength of Projective Absoluteness. 245-295 BibTeX