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

Volume 38, Number 2, June 1973

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

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

Volume 38, Number 4, December 1973

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