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 39, Issue 2
Publication Date: June, 1974
Correction to `A Model Theoretic Characterisation of Effective Operations'
M. H. Lob; 225
Systems of Notations and the Ramified Analytical Hierarchy
Joan D. Lukas and Hilary Putnam; 243-253
$\Sigma_n$ Sets which are $\Delta_n$-Incomparable (Uniformly)
Richard A. Shore; 295-304
Reviews
Review: Mircea Tirnoveanu, Elements of Mathematical Logic. Vol. 1. Logic of Bivalent Propositions
K. Iseki; 325-327
Review: J. Barkley Rosser, Simplified Independence Proofs. Boolean Valued Models of Set Theory
Aleksander Rutkowski; 328-329
Review: R. M. Solovay, S. Tennenbaum, Iterated Cohen Extensions and Souslin's Problem
Richard Mansfield; 329-330
Review: Robert M. Solovay, On the Cardinality of $\mathbf{\Sigma}\frac{1}{2}$ Sets of Reals
Frank R. Drake; 330
Review: Jack H. Silver, Measurable Cardinals and $\Delta\frac{1}{3}$ well-Orderings
Menachem Magidor; 330-331
Review: Kenneth Kunen, Elementary Embeddings and Infinitary Combinatorics
James E. Baumgartner; 331
Review: W. Hanf, On a Problem of Erdos and Tarski; D. Monk, D. Scott, Additions to Some Results of Erdos and Tarski; A. Hajnal, Remarks on the Theory of W. P. Hanf
Jean A. Larson; 332
Review: H. Jerome Keisler, Good Ideals in Fields of Sets; H. Jerome Keisler, Ideals with Prescribed Degree of Goodness
Victor Harnik; 332-333
Review: John Myhill, The Invalidity of Markoff's Schema
Joan Rand Moschovakis; 333-334
Review: R. E. Vesley, A. Kino, J. Myhill, A Palatable Substitute for Kripke's Schema
William A. Howard; 334
Review: H. J. Keisler, B. van Rootselaar, J. F. Staal, Models with Orderings
H.-D. Ebbinghaus; 334-335
Review: Carol Karp, Jon Barwise, An Algebraic Proof of the Barwise Compactness Theorem
N. J. Cutland; 335
Review: Jon Barwise, Applications of Strict $\Pi^1_1$ Predicates to Infinitary Logic
N. J. Cutland; 335-336
Review: Roger C. Lyndon, The Representation of Relation Algebras, II
J. Donald Monk; 337
Review: Ralph McKenzie, Representations of Integral Relation Algebras
Don Pigozzi; 337
Review: David W. Kueker, Generalized Interpolation and Definability
E. G. K. Lopez-Escobar; 337-338
Review: Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin, Alfred Tarski, Elementary Theories with Models without Automorphisms
William Glassmire; 338
Review: S. R. Kogalovskij, Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost
Leszek Pacholski; 338-339
Review: S. R. Kogalovskij, O Kompaktnyh Klassah Algebraiceskih Sistem
Leszek Pacholski; 339
Review: Abraham Robinson, W. A. J. Luxemburg, A. Robinson, Algebraic Function Fields and Non-Standard Arithmetic
Diana L. Dubrovsky; 339-340
Review: Donald J. Collins, On Recognizing Properties of Groups which have Solvable Word Problem
C. R. J. Clapham; 340
Review: F. William Lawvere, Functional Semantics of Algebraic Theories
Calvin C. Elgot; 340-341
Review: F. William Lawvere, S. Eilenberg, D. K. Harrison, S. MacLane, H. Rohrl, The Category of Categories as a Foundation for Mathematics
Calvin C. Elgot; 341
Review: Robert L. Davis, The Number of Structures of Finite Relations
David Miller; 341
Review: Herman Rubin, Patrick Suppes, A Note on Two-Place Predicates and Fitting Sequences of Measure Functions
David Miller; 341
Review: Charles Parsons, A. Kino, J. Myhill, R. E. Vesley, On a Number Theoretic Choice Schema and its Relation to Induction; Charles Parsons, Review of the Foregoing; Charles Parsons, On $n$-Quantifier Induction
Helmut Schwichtenberg; 342
Review: Helmut Pfeiffer, Vergleich zweier Bezeichnungssysteme fur Ordinalzaklen
Hilbert Levitz; 342-343
Review: A. Grzegorczyk, Recursive Objects in all Finite Types; Haskell B. Curry, Combinatory Recursive Objects of all Finite Types
Charles Parsons; 343
Review: Hisao Tanaka, On Limits of Sequences of Hyperarithmetical Functionals and Predicates; Tosiyuki Tugue, Hisao Tanaka, A Note on the Effective Descriptive Set Theory
Stephen J. Garland; 344-345
Review: A. H. Lachlan, On Some Games which are Relevant to the Theory of Recursively Enumerable Sets
Gregory W. Jones; 345
Review: John Cleave, The Primitive Recursive Analysis of Ordinary Differential Equations and the Complexity of their Solutions
Webb Miller; 345-346
Review: Webb Miller, Recursive Function Theory and Numerical Analysis
J. P. Cleave; 346
Review: Walter J. Savitch, Relationships between Nondeterministic and Deterministic Tape Complexities
Albert R. Meyer; 346-347
Review: D. C. Luckham, D. M. R. Park, M. S. Paterson, On Formalised Computer Programs
D. C. Cooper; 347
Review: J. Hartmanis, F. D. Lewis, The Use of Lists in the Study of Undecidable Problems in Automata Theory
Dennis F. Cudia; 347
Review: F. D. Lewis, The Enumerability and Invariance of Complexity Classes
Nancy A. Lynch; 349
Review: A. Salwicki, Formalized Algorithmic Languages; A. Salwicki, On the Equivalence of FS-Expressions and Programs; A. Salwicki, On the Predicate Calculi with Iteration Quantifiers
E. Engeler; 349-350
Review: Hao Wang, Wayne A. Kalenich, Formalization and Automatic Theorem-Proving
Joyce Friedman; 350
Review: Alan Rose, The Degree of Completeness of the $m$-Valued Lukasiewicz Propositional Calculus, Correction and Addendum
Gene F. Rose; 350
Review: Akira Nakamura, A Remark on the Truth-Value Stipulation for the Modal System $M$'; Akira Nakamura, On an Axiomatic System of Modal Logic; R. A. Bull, On a Paper of Akira Nakamura
M. K. Rennie; 351
Review: M. I. Semenenko, Properties of some Sublogics of the Classical and Intuitionistic Propositional Calculi
Alan Ross Anderson; 351-352
Review: Aldo Bressan, A General Interpreted Modal Calculus; Nuel D. Belnap, Foreword
R. A. Bull; 352
Review: Pascual Jordan, Leon Henkin, Patrick Suppes, Alfred Tarski, Quantenlogik und das Kommutative Gesetz
M. Drieschner; 353
Review: Arthur N. Prior, Edward C. Moore, Richard S. Robin, The Algebra of the Copula
Alan Ross Anderson; 354
Review: Atwell R. Turquette, Peirce's Icons for Deductive Logic
Alan Ross Anderson; 354
Review: W. V. Quine, Introductory Note; Bertrand Russell, Mathematical Logic as Based on the Theory of Types
Alonzo Church; 355-356
Review: Bertrand Russell, Irving M. Copi, James A. Gould, Mathematical Logic as Based on the Theory of Types
Alonzo Church; 356
Review: Heinrich Behmann, Max Kasbauer, Franz von Kutschera, Verlag Karl Alber, Three Paradoxical Aspects of Identity
John Perry; 359-360
Review: L. Kalmar, M. Dummett, C. Lejewski, W. V. Quine, F. Sommers, Discussion
Gerald Standley; 361-362
Review: Henry C. Byerly, Charles J. Merchant, New Algorithms for the Statement and Class Calculi
Gerald Standley; 362
Meeting of the Association for Symbolic Logic: Orleans, France, 1972
J. P. Calais, J. Derrick and G. Sabbagh; 371-389
Meeting of the Association for Symbolic Logic: Atlanta 1973
C. Ward Henson, Bjarni Jonsson, E. G. K. Lopez-Escobar and Michael D. Resnik; 390-405
European Meeting of the Association for Symbolic Logic: Bristol, England, 1973
H. E. Rose and J. C. Shepherdson; 406-432
Miscellaneous back pages, J. Symbolic Logic, Volume 39, Issue 2 (1974)
