The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 38, Issue 2
Publication Date: June, 1973
Observations Concerning Elementary Extensions of $\omega$-Models. II
W. Marek; 227-231
Recursive Elements and Constructive Extensions of Computable Local Integral Domains
Glen H. Suter; 272-290
An Application of $\sum^0_4$ Determinancy to the Degrees of Unsolvability
Carl G. Jockusch; 293-294
The Relation of $A$ to $\operatorname{Prov} \ulcorner A \urcorner$ in the Lindenbaum Sentence Algebra
C. F. Kent; 295-298
Infinite Exponent Partition Relations and Well-Ordered Choice
E. M. Kleinberg and J. I. Seiferas; 299-308
The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic
Harvey Friedman; 315-319
Reviews
Review: P. F. Strawson, Individuals. An Essay in Descriptive Metaphysics
James Cargile; 320-323
Review: John R. Searle, Charles E. Caton, P. F. Strawson, Proper Names; Michael McKinsey, Searle on Proper Names
James Thomson; 323-324
Review: Henry Veatch, The Significance of Current Criticisms of the Syllogism
Ivan Boh; 324
Review: Carlos E. Alchourron, Eugenio Bulygin, Normative Systems
M. J. Cresswell; 326-327
Review: Alan Ross Anderson, Nuel D. Belnap, John R. Wallace, Independent Axiom Schemata for the Pure Theory of Entailment
Donald Paul Snyder; 327-328
Review: J. Jay Zeman, Bases for S4 and S4.2 without Added Axioms
Donald Paul Snyder; 328
Review: R. Routley, Decision Procedures and Semantics for C1, E1 and $S0.5^0$
G. F. Schumm; 329
Review: Yu. T. Medvedev, Elliott Medelson, Finite Problems; Yu. T. Medvedev, Sue Ann Walker, Interpretation of Logical Formulas by Means of Finite Problems and its Relation to the Realizability Theory; Ju. T. Medvedev, Sue Ann Walker, Interpretation of Logical Formulas by Means of Finite Problems
Joan Rand Moschovaks; 330-331
Review: V. A. Jankov, Finite Validity of Formulas of a Special Form
J. G. Anderson; 331
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus
J. G. Anderson; 331-332
Review: A. S. Troelstra, B. van Rootselaar, J. F. Staal, The Theory of Choice Sequences
R. E. Vesley; 332
Review: Reijiro Kurata, Recursive Progression of Intuitionistic Number Theories
Solomon Feferman; 332-333
Review: John Myhill, Elementary Properties of the Group of Isolic Integers
Matthew Hassett; 333
Review: Carl E. Bredlau, Regressive Functions and Combinatorial Functions
Louise Hay; 333
Review: J. W. Addison, Yiannis N. Moschovakis, Some Consequences of the Axiom of Definable Determinateness; Donald A. Martin, The Axiom of Determinateness and Reduction Principles in the Analytical Hierarchy
James E. Baumgartner; 334
Review: David Isles, A. Kino, J. Myhill, R. E. Vesley, Regular Ordinals and Normal Forms
Helmut Pfeiffer; 334-335
Review: Thomas J. Jech, Two Remarks on Elementary Embeddings of the Universe
Richard Mansfield; 335-336
Review: M. Makkai, On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers
H. Jerome Keisler; 337
Review: John Staples, A Non-standard Representation of Boolean Algebras, and Applications
Abraham Robinson; 337
Review: S. I. Adjan, M. Greendlinger, Defining Relations and Algorithmic Problems for Groups and Semigroups
Ann Yasuhara; 338-339
Review: John T. Kearns, Combinatory Logic with Discriminators
Jonathan P. Seldin; 339-340
Review: Hugo Bedau, Paul Oppenheim, Complementarity in Quantum Mechanics: A Logical Analysis
Patrick Suppes; 340
Review: Herbert B. Enderton, A Mathematical Introduction to Logic
J. R. Shoenfield; 340-341
Review: Alice Mary Hilton, Logic, Computing Machines, and Automation
Robert F. Barnes; 341-342
Review: R. V. Mozharov, One Method for Testing the Completeness of Systems of Logical Functions
William Wernick; 343
Review: John E. Hopcroft, Jeffrey D. Ullman, Relations between Time and Tape Complexities
Jiri Becvar; 343
Review: G. N. Povarov, A Mathematical Theory for the Synthesis of Contact Networks with One Inpu and $k$ Outputs
Ann S. Ferebee; 343-344
Miscellaneous back pages, J. Symbolic Logic, Volume 38, Issue 2 (1973)
