Annals of Pure and Applied Logic, Volume 59

Volume 59, Number 1, 1 January 1993

Uri Abraham, Saharon Shelah: A Delta²₂ Well-Order of the Reals and Incompactness of L(Q^MM). 1-32 BibTeX
Xavier Caicedo: Compactness and Normality in Abstract Logics. 33-43 BibTeX
M. Randall Holmes: Systems of Combinatory Logic Related to Predicative and `Mildly Impredicative' Fragments of Quine's `New Foundations'. 45-53 BibTeX
John Love: Stability among r.e. Quotient Algebras. 55-63 BibTeX
Xiaokang Yu: Riesz Representation Theorem, Borel Measures and Subsystems of Second-Order Arithmetic. 65-78 BibTeX

Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore: Countable Thin Pi⁰₁ Classes. 79-139 BibTeX
Kevin Lano: The Intuitionistic Alternative Set Theory. 141-156 BibTeX

A Selection of Papers Presented at the Fourth Asian Logic Conference

Samuel R. Buss: Intuitionistic Validity in T-Normal Kripke Structures. 159-173 BibTeX
Rodney G. Downey, Michael Stob: Friedberg Splittings of Recursively Enumerable Sets. 175-199 BibTeX
Jean-Yves Girard: On the Unity of Logic. 201-217 BibTeX
Moti Gitik, Saharon Shelah: More on Simple Forcing Notions and Forcings with Ideals. 219-238 BibTeX
Sabine Koppelberg: A Construction of Boolean Algebras from First-Order Structures. 239-256 BibTeX
Masahiro Kumabe: Generic Degrees are Complemented. 257-272 BibTeX
Lian Li, Huilin Li, Yixun Liu: A Decision Algorithm for Linear Sentences on a PFM. 273-286 BibTeX