Annals of Pure and Applied Logic, Volume 76

Volume 76, Number 1, 15 November 1995

• Mauro Ferrari, Pierangelo Miglioli: A Method to Single out Maximal Propositional Logics with the Disjunction Property I. 1-46 BibTeX
• Matthew Foreman, Menachem Magidor: Large Cardinals and Definable Counterexamples to the Continuum Hypothesis. 47-97 BibTeX

Volume 76, Number 2, 6 December 1995

• Franco Barbanera, Stefano Berardi: A Strong Normalization Result for Classical Logic. 99-116 BibTeX
• Mauro Ferrari, Pierangelo Miglioli: A Method to Single out Maximal Propositional Logics with the Disjunction Property II. 117-168 BibTeX
• Jan von Plato: The Axioms of Constructive Geometry. 169-200 BibTeX

Volume 76, Number 3, 27 December 1995

• Taneli Huuskonen: Observations about Scott and Karp Trees. 201-230 BibTeX
• Richard Sommer: Transfinite Induction within Peano Arithmetic. 231-289 BibTeX
• Jindrich Zapletal: More on the Cut and Choose Game. 291-301 BibTeX