Journal: Annals of Pure and Applied Logic

Volume 47, Issue 3

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

Volume 47, Issue 2

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

Volume 47, Issue 1

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