- Charles G. Morgan:
Weak Liberated Versions of T and S4. J. Symb. Log. 40(1): 25-30 (1975) - John R. Myhill:
Constructive Set Theory. J. Symb. Log. 40(3): 347-382 (1975) - Robert A. Di Paola:
A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic. J. Symb. Log. 40(3): 398-400 (1975) - Anna Michaelides Penk:
Two Forms of the Axiom of Choice for an Elementary Topos. J. Symb. Log. 40(2): 197-212 (1975) - William C. Powell:
Extending Godel's Negative Interpretation to ZF. J. Symb. Log. 40(2): 221-229 (1975) - Karel Prikry, Robert Solovay:
On Partitions into Stationary Sets. J. Symb. Log. 40(1): 75-80 (1975) - Dan Saracino:
A Counterexample in the Theory of Model Companions. J. Symb. Log. 40(1): 31-34 (1975) - Leonard P. Sasso Jr.:
A Survey of Partial Degrees. J. Symb. Log. 40(2): 130-140 (1975) - Diana Schmidt:
Bounds for the Closure Ordinals of Replete Monotonic Increasing Functions. J. Symb. Log. 40(3): 305-316 (1975) - John R. Steel:
Descending Sequences of Degrees. J. Symb. Log. 40(1): 59-61 (1975) - Jacques Stern:
A New Look at the Interpolation Problem. J. Symb. Log. 40(1): 1-13 (1975) - Steven K. Thomason:
Categories of Frames for Modal Logic. J. Symb. Log. 40(3): 439-442 (1975) - Alex Wilkie:
On Models of Arithmetic-Answers to Two Problems Raised by H. Gaifman. J. Symb. Log. 40(1): 41-47 (1975)