The Journal of Symbolic Logic, Volume 40

Volume 40, Number 1, March 1975

Jacques Stern: A New Look at the Interpolation Problem. 1-13
Georges Blanc, Anne Preller: Lawvere's Basic Theory of the Category of Categories. 14-18
Leo Harrington, Alexander S. Kechris: On Characterizing Spector Classes. 19-24
Charles G. Morgan: Weak Liberated Versions of T and S4. 25-30
Dan Saracino: A Counterexample in the Theory of Model Companions. 31-34
Robert Goldblatt: First-Order Definability in Modal Logic. 35-40
Alex Wilkie: On Models of Arithmetic--Answers to Two Problems Raised by H. Gaifman. 41-47
Paul E. Cohen: A Large Power Set Axiom. 48-54
Johan van Benthem: A Note on Modal Formulae and Relational Properties. 55-58
John Steel: Descending Sequences of Degrees. 59-61
Warren D. Goldfarb, Harry R. Lewis: Skolem Reduction Classes. 62-68
P. M. Cohn: The Word Problem for Free Fields: A Correction and an Addendum. 69-74
Karel Prikry, Robert Solovay: On Partitions into Stationary Sets. 75-80

Harvey Friedman: One Hundred and Two Problems in Mathematical Logic. 113-129
Leonard P. Sasso Jr.: A Survey of Partial Degrees. 130-140
Martin Gerson: The Inadequacy of the Neighbourhood Semantics for Modal Logic. 141-148
Maurice Boffa: Sets Equipollent to their Power Set in NF. 149-150
John Lake: Natural Models and Ackermann-Type Set Theories. 151-158
A. M. Dawes, J. B. Florence: Independent Godel Sentences and Independent Sets. 159-166
George Metakides, J. M. Plotkin: An Algebraic Characterization of Power Set in Countable Standard Models of ZF. 167-170
Jane Bridge: A Simplification of the Bachmann Method for Generating Large Countable Ordinals. 171-185
Ralph McKenzie: On Spectra, and the Negative Solution of the Decision Problem for Identities having a Finite Nontrivial Model. 186-196
Anna Michaelides Penk: Two Forms of the Axiom of Choice for an Elementary Topos. 197-212
Walter Baur: N₀-Categorical Modules. 213-220
William C. Powell: Extending Godel's Negative Interpretation to ZF. 221-229
Paul C. Gilmore, Donald A. Martin, Elliott Mendelson: Meeting of the Association for Symbolic Logic. 299-304

Diana Schmidt: Bounds for the Closure Ordinals of Replete Monotonic Increasing Functions. 305-316
Julia F. Knight: Types Omitted in Uncountable Models of Arithmetic. 317-320
Michael Beeson: The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations. 321-346
John R. Myhill: Constructive Set Theory. 347-382
Miroslav Benda: Construction of Models from Groups of Permutations. 383-388
Jerome I. Malitz: Complete Theories with Countably many Rigid Nonisomorphic Models. 389-392
T. B. Flannagan: On an Extension of Hilbert's Second epsilon-Theorem. 393-397
Robert A. Di Paola: A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic. 398-400
Alistair H. Lachlan: Uniform Enumeration Operations. 401-409
Jörg Flum: L(Q)-Preservation Theorems. 410-418
Daniel Andler: Semi-Minimal Theories and Categoricity. 419-438
S. K. Thomason: Categories of Frames for Modal Logic. 439-442
Roy Edelstein: An Interpolation Lemma for the Pure Implicational Calculus. 443-444