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
• Klaus Ambos-Spies, Richard A. Shore: Undecidability and 1-Types in the Recursively Enumerable Degrees. 3-37
• William C. Calhoun: Incomparable Prime Ideals of Recursively Enumerable Degrees. 39-56
• A. N. Degtev: On p-Reducibility of Numerations. 57-60
• Antonín Kucera: On Relative Randomness. 61-67
• Dmitrij P. Skvortsov, Valentin B. Shehtman: Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics. 69-101

Volume 63, Number 2, 10 September 1993

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

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
• Moti Gitik: On Measurable Cardinals Violating the Continuum Hypothesis. 227-240
• Geoffrey R. Hird: Recursive Properties of Relations on Models. 241-269
• Alain Louveau, Saharon Shelah, Boban Velickovic: Borel Partitions of Infinite Subtrees of a Perfect Tree. 271-281
• Yves Péraire: Infinitesimal Approach of Almost-Automorphic Functions. 283-297