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

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