Volume 39, Number 1, March 1974
: Beth Definability in Infinitary Languages.
: Logics Containing K4. Part I.
: Least Upper Bounds For Minimal Pairs of alpha-R.E. alpha Degrees.
Dov M. Gabbay
, Dick De Jongh
: A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.
James R. Geiser
: A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis.
: sigma1 Compactness for Next Admissible Sets.
: Scott's Interpolation Theorem Fails for L omega1, omega.
: On Certain Types and Models for Arithmetic.
Volume 39, Number 2, June 1974
: A Noninitial Segment of Index Sets.
M. H. Lob
: Correction to 'A Model Theoretic Characterisation of Effective Operations'.
: Combinator Realizability of a Constructive Morse Set Theory.
: Boolean Extensions which Efface the Mahlo Property.
: Nonrecursive Tilings of the Plane. II.
Richard A. Shore
: sigman Sets which are trianglen-Incomparable (Uniformly).
Volume 39, Number 3, September 1974
: The Boolean Algebras of Abelian Groups and Well-Orders.
: Prime Model Extensions for Differential Fields of Characteristic p ? 0.
Charles E. Hughes
: Single Premise Post Canonical Forms Defined Over One-Letter Alphabets.
James E. Baumgartner
: The Hanf Number for Complete L omega1, omega -Sentences (Without GCH).
Paul E. Cohen
: Models of Set Theory with More Real Numbers than Ordinals.
Volume 39, Number 4, December 1974
Robert E. Clay
: Relation of Lesniewski's Mereology to Boolean Algebra.
S. Barry Cooper
: Minimal Pairs and High Recursively Enumerable Degrees.
C. Ward Henson
: The Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces.