The Journal of Symbolic Logic, Volume 37

Volume 37, Number 1, March 1972

Rolando Chuaqui: Forcing for the Impredicative Theory of Classes. 1-18 BibTeX
H. E. Rose: E ^alpha -Arithmetic and Transfinite Induction. 19-30 BibTeX
Richard Mansfield: The Completeness Theorem for Infinitary Logic. 31-34 BibTeX
Peter Aczel: Describing Ordinals Using Functionals of Transfinite Type. 35-47 BibTeX
J. R. Shilleto: Minimum Models of Analysis. 48-54 BibTeX
Albert R. Meyer, Patrick C. Fischer: Computational Speed-Up by Effective Operators. 55-68 BibTeX
Wilfrid Hodges: On Order-Types of Models. 69-70 BibTeX
Jussi Ketonen: On Nonregular Ultrafilters. 71-74 BibTeX
Philip Olin: Products of Two-Sorted Structures. 75-80 BibTeX
Thomas J. Grilliot: Omitting Types: Application to Recursion Theory. 81-89 BibTeX
Erik Ellentuck: Nonrecursive Combinatorial Functions. 90-95 BibTeX
Andrzej Mostowski: A Transfinite Sequence of omega-Models. 96-102 BibTeX
Andreas Blass: The Intersection of Nonstandard Models of Arithmetic. 103-106 BibTeX
Saharon Shelah: Uniqueness and Characterization of Prime Models over Sets for Totally Transcendental First-Order Theories. 107-113 BibTeX
Erik Ellentuck: The Positive Properties of Isolic Integers. 114-132 BibTeX
John W. Rosenthal: A New Proof of a Theorem of Shelah. 133-134 BibTeX
Dov M. Gabbay: Applications of Trees to Intermediate Logics. 135-138 BibTeX
Louise Hay: A Discrete Chain of Degrees of Index Sets. 139-149 BibTeX
S. K. Thomason: Semantic Analysis of Tense Logics. 150-158 BibTeX
Alasdair Urquhart: Semantics for Relevant Logics. 159-169 BibTeX

Volume 37, Number 2, June 1972

Nicolas D. Goodman: A simplification of combinatory Logic. 225-246 BibTeX
Saharon Shelah: On Models with Power-Like Ordering. 247-267 BibTeX
Carl G. Jockusch Jr.: Ramsey's Theorem and Recursion Theory. 268-280 BibTeX
Stanley S. Wainer: Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy. 281-292 BibTeX
Harold Simmons: Existentially Closed Structures. 293-310 BibTeX
G. Kreisel: Which Number Theoretic Problems can be Solved in Recursive Progressions on O 1/1 -Paths Through O? 311-334 BibTeX
Paul C. Eklof: Some Model Theory of Abelian Groups. 335-342 BibTeX
Stephen J. Garland: Generalized Interpolation Theorems. 343-351 BibTeX
M. H. Lob: A Reduction Theorem for Predicate Logic. 352-354 BibTeX
W. A. Howard: A System of Abstract Constructive Ordinals. 355-374 BibTeX
Dov M. Gabbay: Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications. 375-384 BibTeX
Peter B. Andrews: General Models, Descriptions, and Choice in Type Theory. 385-394 BibTeX
Peter B. Andrews: General Models and Extensionality. 395-397 BibTeX
Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason: Meeting of the Association for Symbolic Logic. 430-447 BibTeX

Volume 37, Number 3, September 1972

Bienvenido F. Nebres: Infinitary Formulas Preserved Under Unions of Models. 449-465 BibTeX
Charles D. Parsons: On n-Quantifier Induction. 466-482 BibTeX
R. Phillips: Addition in Nonstandard Models of Arithmetic. 483-486 BibTeX
John T. Baldwin: Almost Strongly Minimal Theories. I. 487-493 BibTeX
C. Ward Henson: Countable Homogeneous Relational Structures and N₀-Categorical Theories. 494-500 BibTeX
John Stillwell: Decidability of the Almost All Theory of Degrees. 501-506 BibTeX
Jesse B. Wright: Characterization of Recursively Enumerable Sets. 507-511 BibTeX
Angus Macintyre: Omitting Quantifier-Free Types in Generic Structures. 512-520 BibTeX
James H. Schmerl: An Elementary Sentence which Has Ordered Models. 521-530 BibTeX
James H. Schmerl, Saharon Shelah: On Power-like Models for Hyperinaccessible Cardinals. 531-537 BibTeX
James D. Davis: The Inconsistency of a Certain Axiom System for Set Theory. 538-542 BibTeX
Louise Hay: A Note on Frame Extensions. 543-545 BibTeX
Gregory L. Cherlin: The Model-Companion of a Class of Structures. 546-556 BibTeX
Erik Ellentuck: An Algebraic Difference Between Isols and Cosimple Isols. 557-561 BibTeX
Andreas Blass: Theories without Countable Models. 562-568 BibTeX
Andreas Blass: On the Inadequacy of Inner Models. 569-571 BibTeX
Raphael M. Robinson: Some Representations of Diophantine Sets. 572-578 BibTeX
Dov M. Gabbay: Decidability of Some Intuitionistic Predicate Theories. 579-587 BibTeX
K. Jon Barwise: The Hanf Number of Second Order Logic. 588-594 BibTeX
Solomon Garfunkel, Herbert S. Shank: On the Undecidability of Finite Planar Cubic Graphs. 595-597 BibTeX
S. Barry Cooper: Jump Equivalence of the triangle ⁰₂ Hyperhyperimmune Sets. 598-600 BibTeX

Volume 37, Number 4, December 1972

Barbara Jeffcott: The Center of an Orthologic. 641-645 BibTeX
Daniel B. Demaree: Copeland Algebras. 646-656 BibTeX
John T. Baldwin: Almost Strongly Minimal Theories. II. 657-660 BibTeX
Jeff B. Paris: ZF sigma⁰₄ Determinateness. 661-667 BibTeX
Nigel J. Cutland: sigma₁-Compactness and Ultraproducts. 668-672 BibTeX
E. M. Kleinberg, Richard A. Shore: Weak Compactness and Square Bracket Partition Relations. 673-676 BibTeX
George Metakides: alpha-Degrees of alpha-Theories. 677-682 BibTeX
Henry Africk: A Proof Theoretic Proof of Scott's General Interpolation Theorem. 683-695 BibTeX
John Corcoran: Completeness of an Ancient Logic. 696-702 BibTeX
Donald Perlis: An Extension of Ackermann's Set Theory. 703-704 BibTeX
Gonzalo E. Reyes: L _{omega 1, omega} is Enough: A Reduction Theorem for Some Infinitary Languages. 705-710 BibTeX
Krister Segerberg: Post Completeness in Modal Logic. 711-715 BibTeX
S. K. Thomason: Noncompactness in Propositional Modal Logic. 716-720 BibTeX
David Pincus: Zermelo-Fraenkel Consistency Results by Fraenkel-Mostowski Methods. 721-743 BibTeX
Carl G. Jockusch Jr., Joseph S. Ullian, Robert B. Barrett Jr.: Meeting of the Association for Symbolic Logic: St. Louis 1972. 775-782 BibTeX