Volume 38, Number 1, March 1973
T. M. Scanlon
: The Consistency of Number Theory Via Herbrand's Theorem.
C. Ward Henson
: Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations".
C. Ward Henson
: Permutation Methods Applied to Quine's "New Foundations".
: A Note on Modified Abstraction Principles.
Dov M. Gabbay
: The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields.
Volume 38, Number 2, June 1973
: A Proof of the Cut-Elimination Theorem in Simple Type Theory.
: Observations Concerning Elementary Extensions of omega-Models. II.
Glen H. Suter
: Recursive Elements and Constructive Extensions of Computable Local Integral Domains.
Carl G. Jockusch Jr.
: An Application of sigma04 Determinancy to the Degrees of Unsolvability.
Clement F. Kent
: The Relation of A to Prov A in the Lindenbaum Sentence Algebra.
P. M. Cohn
: The Word Problem for Free Fields.
: The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic.
Volume 38, Number 3, September 1973
Robert G. Jeroslow
: Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem.
: On the Possibility of a Sigma12 Well-Ordering of the Baire Space.
: On an Ackermann-Type Set Theory.
Paul E. Howard
: Limitations on the Fraenkel-Mostowski Method of Independence Proofs.
E. M. Kleinberg
: Rowbottom Cardinals and Jonsson Cardinals are Almost the Same.
: A Characterization of Terms of the lambda I-Calculus Having a Normal Form.
Nicolas D. Goodman
: The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions.
: Uncountable Models and Infinitary Elementary Extensions.
Haskell B. Curry
: The Consistency of a System of Combinatory Restricted Generality.
Volume 38, Number 4, December 1973
Keith J. Devlin
: Measurable Cardinals and a Combinatorial Principle of Jensen.
James S. Johnson
: Axiom Systems for First Order Logic with Finitely Many Variables.
: A Converse of the Barwise Completeness Theorem.
: Model Existence Theorems for Modal and Intuitionistic Logics.