The Journal of Symbolic Logic, Volume 38

Volume 38, Number 1, March 1973

Charles E. Hughes: Many-one Degrees Associated With Problems of Tag. 1-17
John MacIntyre: Minimal alpha-Recursion Theoretic Degrees. 18-28
T. M. Scanlon: The Consistency of Number Theory Via Herbrand's Theorem. 29-58
C. Ward Henson: Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations". 59-68
C. Ward Henson: Permutation Methods Applied to Quine's "New Foundations". 69-76
John Lake: A Note on Modified Abstraction Principles. 77-78
H. Jerome Keisler, Wilbur Walkoe Jr.: The Diversity of Quantifier Prefixes. 79-85
Dov M. Gabbay: The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields. 86-92
Paul D. Bacsich: Defining Algebraic Elements. 93-101
C. Smorynski: Elementary Intuitionistic Theories. 102-134

Volume 38, Number 2, June 1973

Lars Svenonius: On the First-Order Logic of Terms. 177-188
N. C. K. Phillips: The Set Theoretical Foundations of Nonstandard Analysis. 189-192
Fred Galvin, Karel Prikry: Borel Sets and Ramsey's Theorem. 193-198
Richard E. Ladner: Mitotic Recursively Enumerable Sets. 199-211
R. S. Pierce: Bases of Countable Boolean Algebras. 212-214
Satoko Titani: A Proof of the Cut-Elimination Theorem in Simple Type Theory. 215-226
W. Marek: Observations Concerning Elementary Extensions of omega-Models. II. 227-231
Philip T. Shepard: A Finite Arithmetic. 232-248
S. Barry Cooper: Minimal Degrees and the Jump Operator. 249-271
Glen H. Suter: Recursive Elements and Constructive Extensions of Computable Local Integral Domains. 272-290
Andrzej Ehrenfeucht: Discernible Elements in Models for Peano Arithmetic. 291-292
Carl G. Jockusch Jr.: An Application of sigma⁰₄ Determinancy to the Degrees of Unsolvability. 293-294
Clement F. Kent: The Relation of A to Prov A in the Lindenbaum Sentence Algebra. 295-298
E. M. Kleinberg, Joel I. Seiferas: Infinite Exponent Partition Relations and Well-Ordered Choice. 299-308
P. M. Cohn: The Word Problem for Free Fields. 309-314
Harvey Friedman: The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic. 315-319
Anil Nerode, K. Jon Barwise: Meeting of the Association for Symbolic Logic. 348-358

Volume 38, Number 3, September 1973

Robert G. Jeroslow: Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem. 359-367
John MacIntyre: Noninitial Segments of the alpha-Degrees. 368-388
Ian D. Clark: An Axiomatisation of Quantum Logic. 389-392
Peter G. Hinman: Degrees of Continuous Functionals. 393-395
Richard Mansfield: On the Possibility of a Sigma¹₂ Well-Ordering of the Baire Space. 396-398
Saharon Shelah: Weak Definability in Infinitary Languages. 399-404
Harvey M. Friedman: Borel Sets and Hyperdegrees. 405-409
John Lake: On an Ackermann-Type Set Theory. 410-412
Julia F. Knight: Complete Types and the Natural Numbers. 413-415
Paul E. Howard: Limitations on the Fraenkel-Mostowski Method of Independence Proofs. 416-422
E. M. Kleinberg: Rowbottom Cardinals and Jonsson Cardinals are Almost the Same. 423-427
Angus Macintyre: The Word Problem for Division Rings. 428-436
Carl G. Jockusch Jr., Robert I. Soare: Encodability of Kleene's O. 437-440
Henk Barendregt: A Characterization of Terms of the lambda I-Calculus Having a Normal Form. 441-445
Carl G. Jockusch Jr., Robert I. Soare: Post's Problem and His Hypersimple Set. 446-452
Nicolas D. Goodman: The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions. 453-459
John Gregory: Uncountable Models and Infinitary Elementary Extensions. 460-470
Harry R. Lewis, Warren D. Goldfarb: The Decision Problem for Formulas with a Small Number of Atomic Subformulas. 471-480
Leslie H. Tharp: The Characterization of Monadic Logic. 481-488
Haskell B. Curry: The Consistency of a System of Combinatory Restricted Generality. 489-492
Gregory L. Cherlin: Algebraically Closed Commutative Rings. 493-499
Abraham Robinson: Metamathematical Problems. 500-516
J. Donald Monk, Jan Mycielski, Jurgen Schmidt: Meeting of the Association for Symbolic Logic, Dallas 1973. 541-549

Volume 38, Number 4, December 1973

Keith J. Devlin: Measurable Cardinals and a Combinatorial Principle of Jensen. 551-560
Julia F. Knight: Generic Expansions of Structures. 561-570
Jonathan P. Seldin: Equality in F ₂₁. 571-575
James S. Johnson: Axiom Systems for First Order Logic with Finitely Many Variables. 576-578
Manuel Blum, Ivan Marques: On Complexity Properties of Recursively Enumerable Sets. 579-593
Jonathan Stavi: A Converse of the Barwise Completeness Theorem. 594-612
Melvin Fitting: Model Existence Theorems for Modal and Intuitionistic Logics. 613-627
Stål Aanderaa, Harry R. Lewis: Prefix Classes of Krom Formulas. 628-642