Annals of Pure and Applied Logic, Volume 63

Volume 63, Number 1, 20 August 1993

• Dag Prawitz, Dag Westerståhl: Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science. 1 BibTeX
• Klaus Ambos-Spies, Richard A. Shore: Undecidability and 1-Types in the Recursively Enumerable Degrees. 3-37 BibTeX
• William C. Calhoun: Incomparable Prime Ideals of Recursively Enumerable Degrees. 39-56 BibTeX
• A. N. Degtev: On p-Reducibility of Numerations. 57-60 BibTeX
• Antonín Kucera: On Relative Randomness. 61-67 BibTeX
• Dmitrij P. Skvortsov, Valentin B. Shehtman: Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics. 69-101 BibTeX

Volume 63, Number 2, 10 September 1993

• Stephen A. Cook, Alasdair Urquhart: Functional Interpretations of Feasibly Constructive Arithmetic. 103-200 BibTeX

Volume 63, Number 3, 24 September 1993

• Balázs Biró, Ildikó Sain: Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics. 201-225 BibTeX
• Moti Gitik: On Measurable Cardinals Violating the Continuum Hypothesis. 227-240 BibTeX
• Geoffrey R. Hird: Recursive Properties of Relations on Models. 241-269 BibTeX
• Alain Louveau, Saharon Shelah, Boban Velickovic: Borel Partitions of Infinite Subtrees of a Perfect Tree. 271-281 BibTeX
• Yves Péraire: Infinitesimal Approach of Almost-Automorphic Functions. 283-297 BibTeX