Volume 36, Number 1, March 1971
: Support Structures for the Axiom of Choice.
Joel I. Friedman
: The Generalized Continuum Hypothesis is Equivalent to the Generalized Maximization Principle.
C. G. McKay
: A Class of Decidable Intermediate Propositional Logics.
Volume 36, Number 2, June 1971
: Some Theorems on R-Maximal Sets and Major Subsets of Recursively Enumerable Sets.
Jerome I. Malitz
: Infinitary Analogs of Theorems from First Order Model Theory.
Donald A. Alton
: Recursively Enumerable Sets Which are Uniform for Finite Extensions.
Alfred B. Manaster
: Some Contrasts between Degrees and the Arithmetical Hierarchy.
: Meetings of the Association for Symbolic Logic.
Volume 36, Number 3, September 1971
: An Application of Nonstandard Analysis to Game Theory.
: On Measures on Complete Boolean Algebras.
: Elementary Embeddings and Infinitary Combinatorics.
: On the Notion of Algebraic Closedness for Noncommutative Groups and Fields.
: Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas.
: A Remark on Infinitary Languages.
: Nonstandard Topology and Extensions of Monad Systems to Infinite Points.
J. C. E. Dekker
: Countable Vector Spaces with Recursive Operations. Part II.
: Existence and Feasibility in Arithmetic.
: Meeting of the Association for Symbolic Logic Santiago, Chile 1970.
: Meeting of the Association for Symbolic Logic Los Angeles 1971.
Volume 36, Number 4, December 1971
: Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of < N, + >.