The Journal of Symbolic Logic, Volume 39

Volume 39, Number 1, March 1974

J. Roger Hindley: An Abstract Church-Rosser Theorem. II: Applications. 1-21 BibTeX
John Gregory: Beth Definability in Infinitary Languages. 22-26 BibTeX
Keith J. Devlin: Some Remarks on Changing Cofinalities. 27-30 BibTeX
Kit Fine: Logics Containing K4. Part I. 31-42 BibTeX
H. Jerome Keisler, Karel Prikry: A Result Concerning Cardinalities of Ultraproducts. 43-48 BibTeX
Manuel Lerman: Least Upper Bounds For Minimal Pairs of alpha-R.E. alpha Degrees. 49-56 BibTeX
William J. Mitchell: Sets Constructible from Sequences of Ultrafilters. 57-66 BibTeX
Dov M. Gabbay, Dick De Jongh: A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. 67-78 BibTeX
Harvey Friedman: PCA Well-Orderings of the Line. 79-80 BibTeX
James R. Geiser: A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis. 81-87 BibTeX
Stanley S. Wainer: A Hierarchy for the 1-Section of Any Type Two Object. 88-94 BibTeX
Carl G. Jockusch Jr.: Pi⁰₁ Classes and Boolean Combinations of Recursively Enumerable Sets. 95-96 BibTeX
Jacques Grassin: Index Sets in Ershov's Hierarchy. 97-104 BibTeX
Judy Green: sigma₁ Compactness for Next Admissible Sets. 105-116 BibTeX
George S. Sacerdote: Projective Model Completeness. 117-123 BibTeX
Henry Africk: Scott's Interpolation Theorem Fails for L _{omega1, omega}. 124-126 BibTeX
Robert Moll, Albert R. Meyer: Honest Bounds for Complexity Classes of Recursive Functions. 127-138 BibTeX
Neil D. Jones, Alan L. Selman: Turing Machines and the Spectra of First-Order Formulas. 139-150 BibTeX
Andreas Blass: On Certain Types and Models for Arithmetic. 151-162 BibTeX
Erik Ellentuck: A New Proof that Analytic Sets are Ramsey. 163-165 BibTeX
Anne C. Morel, Ronald Harrop, Miriam Lucian, David Pincus: Meeting of the Association for Symbolic Logic Seattle 1973. 195-208 BibTeX

Volume 39, Number 2, June 1974

Louise Hay: A Noninitial Segment of Index Sets. 209-224 BibTeX
M. H. Lob: Correction to 'A Model Theoretic Characterisation of Effective Operations'. 225 BibTeX
John Staples: Combinator Realizability of a Constructive Morse Set Theory. 226-234 BibTeX
Daniel Richardson: Sets of Theorems with Short Proofs. 235-242 BibTeX
Joan D. Lukas, Hilary Putnam: Systems of Notations and the Ramified Analytical Hierarchy. 243-253 BibTeX
William Boos: Boolean Extensions which Efface the Mahlo Property. 254-268 BibTeX
Alexander S. Kechris: On Projective Ordinals. 269-282 BibTeX
William P. Hanf: Nonrecursive Tilings of the Plane. I. 283-285 BibTeX
Dale Myers: Nonrecursive Tilings of the Plane. II. 286-294 BibTeX
Richard A. Shore: sigma_n Sets which are triangle_n-Incomparable (Uniformly). 295-304 BibTeX
Leo Harrington: Recursively Presentable Prime Models. 305-309 BibTeX
Douglas A. Cenzer: Analytic Inductive Definitions. 310-312 BibTeX
Gordon D. Plotkin: The lambda-Calculus is omega-Incomplete. 313-317 BibTeX
Harvey Friedman: On Existence Proofs of Hanf Numbers. 318-324 BibTeX
J. P. Calais, John Derrick, Gabriel Sabbagh: Meeting of the Association for Symbolic Logic: Orleans, France, 1972. 371-389 BibTeX
C. Ward Henson, Bjarni Jónsson, E. G. K. López-Escobar, Michael D. Resnik: Meeting of the Association for Symbolic Logic: Atlanta 1973. 390-405 BibTeX
H. E. Rose, John C. Shepherdson: European Meeting of the Association for Symbolic Logic: Bristol, England, 1973. 406-432 BibTeX

Volume 39, Number 3, September 1974

Paul D. Bacsich, Dafydd Rowlands Hughes: Syntactic Characterisations of Amalgamation, Convexity and Related Properties. 433-451 BibTeX
Dale Myers: The Boolean Algebras of Abelian Groups and Well-Orders. 452-458 BibTeX
Erik Ellentuck: A triangle⁰₂ Theory of Regressive Isols. 459-468 BibTeX
Carol Wood: Prime Model Extensions for Differential Fields of Characteristic p ? 0. 469-477 BibTeX
L. Herman, Robert Piziak: Modal Propositional Logic on an Orthomodular Basis. I. 478-488 BibTeX
Charles E. Hughes: Single Premise Post Canonical Forms Defined Over One-Letter Alphabets. 489-495 BibTeX
Michael Mortimer: Some Results in Modal Model Theory. 496-508 BibTeX
Stål Aanderaa, Warren D. Goldfarb: The Finite Controllability of the Maslov Case. 509-518 BibTeX
Stål Aanderaa, Harry R. Lewis: Linear Sampling and the forall exists forall Case of the Decision Problem. 519-548 BibTeX
S. K. Thomason: Reduction of Tense Logic to Modal Logic. I. 549-551 BibTeX
Chi Tat Chong: Almost Local Non-a-Recursiveness. 552-562 BibTeX
Ryszard Wójcicki: Note on Deducibility and Many-Valuedness. 563-566 BibTeX
David Guaspari: A Note on the Kondo-Addison Theorem. 567-570 BibTeX
Leonard P. Sasso Jr.: A Minimal Degree not Realizing Least Possible Jump. 571-574 BibTeX
James E. Baumgartner: The Hanf Number for Complete L _{omega1, omega} -Sentences (Without GCH). 575-578 BibTeX
Paul E. Cohen: Models of Set Theory with More Real Numbers than Ordinals. 579-583 BibTeX
A. S. Troelstra: Note on the Fan Theorem. 584-596 BibTeX

Volume 39, Number 4, December 1974

John Corcoran, William Frank, Michael Maloney: String Theory. 625-637 BibTeX
Robert E. Clay: Relation of Lesniewski's Mereology to Boolean Algebra. 638-648 BibTeX
Andreas Blass, Douglas A. Cenzer: Cores of pi¹₁ Sets of Reals. 649-654 BibTeX
S. Barry Cooper: Minimal Pairs and High Recursively Enumerable Degrees. 655-660 BibTeX
Alasdair Urquhart: Implicational Formulas in Intuitionistic Logic. 661-664 BibTeX
Klaus-Peter Podewski, Joachim Reineke: An omega₁-Categorical Ring which is not Almost Strongly Minimal. 665-668 BibTeX
John T. Gill III, Paul H. Morris: On Subcreative Sets and S-Reducibility. 669-677 BibTeX
Warren D. Goldfarb, T. M. Scanlon: The omega-Consistency of Number Theory Via Herbrand's Theorem. 678-692 BibTeX
Warren D. Goldfarb: Ordinal Bounds for k-Consistency. 693-699 BibTeX
Leslie H. Tharp: Continuity and Elementary Logic. 700-716 BibTeX
C. Ward Henson: The Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces. 717-731 BibTeX
James H. Schmerl: Generalizing Special Aronszajn Trees. 732-740 BibTeX