Annals of Pure and Applied Logic, Volume 44

Volume 44, Numbers 1-2, 9 October 1989

Papers presented at the Third Asian Conference in Mathematical Logic, October 26-30, 1987, Beijing, P.R. China

Klaus Ambos-Spies, Robert I. Soare: The Recursively Enumerable Degrees have Infinitely Many One-Types. 1-23 BibTeX
Chi Tat Chong: Hyperhypersimple Sets and Delta₂ Systems. 25-38 BibTeX
John N. Crossley, Philip J. Scott: Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. 39-52 BibTeX
Nigel J. Cutland: Transfer Theorems for pi-Monads. 53-62 BibTeX
Reijiro Kurata, Mamoru Shimoda: Some Combinatorial Principles Equivalent to Restrictions of Transfinite Induction up to Gamma₀. 63-69 BibTeX
Anil Nerode, Jeffrey B. Remmel: Complexity-Theoretic Algebra II: Boolean Algebras. 71-99 BibTeX
Robert Solovay: Injecting Inconsistencies into Models of PA. 101-132 BibTeX
Wang Shiqiang: Inductive Rings and Fields. 133-137 BibTeX
Mariko Yasugi: The Machinery of Consistency Proofs. 139-152 BibTeX

Rodney G. Downey: Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part II: Nonbounding. 153-172 BibTeX
Robert Goldblatt: Varieties of Complex Algebras. 173-242 BibTeX
Wendy MacCaull: Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares. 243-257 BibTeX
Piotr Wojtylak: Independent Axiomatizability of Sets of Sentences. 259-299 BibTeX