Volume 47, Number 1, March 1982
A. M. Dawes:
Splitting Theorems for Speed-Up Related to Order of Enumeration.
1-7
Richard A. Shore:
On Homogeneity and Definability in the First-Order Theory of the Turing Degrees.
8-16
C. H. Applebaum:
An Introduction to omega-Extensions of omega-Groups.
27-36
Marcel Crabbé:
On the Consistency of an Impredicative Subsystem of Quine's NF.
131-136
Anand Pillay:
Dimension Theory and Homogeneity for Elementary Extensions of a Model.
147-160
E. M. Kleinberg:
A Measure Representation Theorem for Strong Partition Cardinals.
161-168
Volume 47, Number 2, June 1982
Michael Stob:
Index Sets and Degrees of Unsolvability.
241-248
Daniel Lascar:
On the Category of Models of a Complete Theory.
249-266
Britta Schinzel:
On Decomposition of Godelnumberings Into Friedbergnumberings.
267-274
Arnold W. Miller:
The Baire Category Theorem and Cardinals of Countable Cofinality.
275-288
Chi Tat Chong:
Double Jumps of Minimal Degrees Over Cardinals.
329-334
Vladimir Lifschitz:
Constructive Assertions in an Extension of Classical Mathematics.
359-387
Jan Terlouw:
On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising.
395-402
Volume 47, Number 3, September 1982
Norman Feldman:
Axiomatization of Polynomial Substitution Algebras.
481-492
C. Smorynski:
Recursively Saturated Nonstandard Models of Arithmetic; Addendum.
493-494
George Boolos:
On the Nonexistence of Certain Normal Forms in the Logic of Provability.
638-640
Bruno Poizat:
Deux Ou Trois Choses Que je Sais de Ln.
641-658
Walter Baur:
On the Elementary Theory of Pairs of Real Closed Fields. II.
669-679
Jurg Schmid:
Model Companions of Distributive p-Algebras.
680-688
Volume 47, Number 4, December 1982
Bruce I. Rose:
Preservation of Elementary Equivalence Under Scalar Extension.
734-738
Michael Katz:
Real-Valued Models with Metric Equality and Uniformly Continuous Predicates.
772-792
John Bacon:
First-Order Logic Based on Inclusion and Abstraction.
793-808
Galen Weitkamp:
Analytic Sets Having Incomparable Kleene Degrees.
860-868
data released under the ODC-BY 1.0 license
