The Journal of Symbolic Logic, Volume 40

Volume 40, Number 1, March 1975

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

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

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

Ivan Marques: On Degrees of Unsolvability and Complexity Properties. 529-540 BibTeX
James E. Baumgartner: Canonical Partition Relations. 541-554 BibTeX
Nancy A. Lynch: "Helping": Several Formalizations. 555-566 BibTeX
Erik Ellentuck: The Foundations of Suslin Logic. 567-575 BibTeX