Annals of Pure and Applied Logic, Volume 47

Volume 47, Number 1, 18 April 1990

• James E. Baumgartner, Jean A. Larson: A Diamond Example of an Ordinal Graph with No Infinite Paths. 1-10 BibTeX
• Harvey Friedman, Jeffry L. Hirst: Weak Comparability of Well Orderings and Reverse Mathematics. 11-29 BibTeX
• Jean A. Larson: Martin's Axiom and Ordinal Graphs: Large Independent Sets or Infinite Paths. 31-39 BibTeX
• Saharon Shelah, Michael Makkai: Categoricity of Theories in L_{k omega}, with k a Compact Ordinal. 41-97 BibTeX

Volume 47, Number 2, 22 May 1990

• Christopher J. Ash: Labelling Systems and r.e. Structures. 99-119 BibTeX
• Fabio Bellissima: Post Complete and 0-Axiomatizable Modal Logics. 121-144 BibTeX
• Philip Scowcroft: A New Model for Intuitionistic Analysis. 145-165 BibTeX
• Naoki Shioji, Kazuyuki Tanaka: Fixed Point Theory in Weak Second-Order Arithmetic. 167-188 BibTeX
• Shih Ping Tung: Algorithms for Sentences over Integral Domains. 189-197 BibTeX

Volume 47, Number 3, 5 June 1990

• Henryk Kotlarski, Zygmunt Ratajczyk: Inductive Full Satisfaction Classes. 199-223 BibTeX
• Michael Makkai: A Theorem on Barr-Exact Categories, with an Infinitary Generalization. 225-268 BibTeX
• Gabriel Srour: The Notion of Independence in Categories of Algebraic Structures, Part III: Equational Classes. 269-294 BibTeX