Volume 47, Number 1, March 1982
A. M. Dawes
: Splitting Theorems for Speed-Up Related to Order of Enumeration.
Richard A. Shore
: On Homogeneity and Definability in the First-Order Theory of the Turing Degrees.
C. H. Applebaum
: An Introduction to omega-Extensions of omega-Groups.
: On the Consistency of an Impredicative Subsystem of Quine's NF.
: Dimension Theory and Homogeneity for Elementary Extensions of a Model.
E. M. Kleinberg
: A Measure Representation Theorem for Strong Partition Cardinals.
Volume 47, Number 2, June 1982
: Index Sets and Degrees of Unsolvability.
: On the Category of Models of a Complete Theory.
: On Decomposition of Godelnumberings Into Friedbergnumberings.
Arnold W. Miller
: The Baire Category Theorem and Cardinals of Countable Cofinality.
Chi Tat Chong
: Double Jumps of Minimal Degrees Over Cardinals.
: Constructive Assertions in an Extension of Classical Mathematics.
: On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising.
Volume 47, Number 3, September 1982
: Axiomatization of Polynomial Substitution Algebras.
: Recursively Saturated Nonstandard Models of Arithmetic; Addendum.
: On the Nonexistence of Certain Normal Forms in the Logic of Provability.
: Deux Ou Trois Choses Que je Sais de Ln.
: On the Elementary Theory of Pairs of Real Closed Fields. II.
: Model Companions of Distributive p-Algebras.
Volume 47, Number 4, December 1982
Bruce I. Rose
: Preservation of Elementary Equivalence Under Scalar Extension.
: Real-Valued Models with Metric Equality and Uniformly Continuous Predicates.
: First-Order Logic Based on Inclusion and Abstraction.
: Analytic Sets Having Incomparable Kleene Degrees.