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 1
Publication Date: March, 1973
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 38, Issue 1 (1973)
Errata
Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations"
C. Ward Henson; 59-68
The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields
Dov M. Gabbay; 86-92
Reviews
Review: Herbert A. Simon, Nicholas Rescher, The Logic of Rational Decision
Edward E. Dawson; 135-144
Review: Aldo Bressan, Metodo di Assiomatizzazione in Senso Stretto Della Meccannica Classica Applicazione di Esso ad Alcuni Problem di Assiomatizzazione non Ancora Completamente Risolti
James W. Garson; 144-145
Review: Henry Albert Finch, An Explication of Counterfactuals by Probability Theory; Richard C. Jeffrey, A Note on Finch's An Explication of Counterfactuals by Probability Theory; Henry Albert Finch, Due Care in Explicating Counterfactuals: a Reply to Mr. Jeffrey
Robert C. Stalnaker; 145-146
Review: Robert Rogers, John R. Gregg, F. T. C. Harris, A Survey of Formal Semantics
Rita Nolan; 146-147
Review: Rosaria Egidi, La Consistenza Filosofica Della Logica di Frege
Ignacio Angelelli; 148
Review: Robert Price, The Stroke Function in Natural Deduction
Robert L. Stanley; 149-150
Review: Jaroslav Sedivy, Solution of Simple Logical Problems by Colouring Graphs
Gerald Standley; 150
Review: Glenn James, Robert C. James, Mathematics Dictionary; Robert C. James, Edwin F. Beckenbach, James & James Mathematics Dictionary
Ann S. Ferebee; 150-151
Review: Solomon Feferman, The Number Systems. Foundations of Algebra and Analysis
William E. Gould; 151
Review: Wolfgang Stegmuller, Max Kasbauer, Franz von Kutschera, Eine Axiomatisierung der Mengenlehre, Beruhend Auf Den Systemen von Bernay und Quine
Alfons Borgers; 151-152
Review: P. Erdos, A. Hajnal, On the Structure of Set-Mappings; P. Erdos, A. Hajnal, Some Remarks Concerning Our Paper "On the Structure of Set-Mappings".-- Non Existence of a two-valued $\sigma$-measure for the first uncountable inaccessible cardinal
W. N. Reinhardt; 152-153
Review: L. Rieger, On the Consistency of the Generalized Continuum Hypothesis
F. R. Drake; 153
Review: Vlad Boicescu, Sur la Representation des Algebres de Lukasiewicz $n$-valentes
Luiz Monteiro; 153
Review: Giulio Andreoli, Proprieta delle Funzioni Simmetriche Elementari Nel Algebre di Boole e Nel Algebre dei Livelli
Ruggero Ferro; 153-154
Review: Gert Heinz Muller, Charakterisierung einer Klasse von Rekursiven Funktionen; G. H. Muller, Rekursionsformen in der Zahlentheorie
Dieter Rodding; 156-157
Review: Gerhard Gentzen, Zusammenfassung von Mehreren Vollstandigen Induktionen zu Einer Einzigen
John Riser; 157
Review: R. Montague, Recursion Theory as a Branch of Model Theory
Carl E. Gordon; 158-159
Review: Michael O. Rabin, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Non-standard Models and Independence of the Induction Axiom
C. Smorynski; 159
Review: Andrzej Grzegorczyk, An Unfinitizability Proof by Means of Restricted Reduced Power
C. Smorynski; 159-161
Review: Kurt Hauschild, Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrucke Spezieller Gestalt
C. Smorynski; 161
Review: James Ax, Solving Diophantine Problems Modulo Every Prime
Verena H. Dyson; 161-162
Review: Newcomb Greenleaf, Fields in Which Varieties have Rational Points: a Note on a Problem of Ax
Verena H. Dyson; 163
Review: R. Sikorski, A Topological Characterization of Open Theories
Walter Felscher; 163-164
Review: A. D. Tajmanov, Characteristics of Axiomatizable Classes of Models
Henryk Kotlarski; 164
Review: A. D. Tajmanov, Characterization of Axiomatizable Classes of Models. I
Andrzej Mostowski; 164-165
Review: A. D. Tajmanov, Characterization of Axiomatizable Classes of Models. II
Andrzej Mostowski; 165
Review: A. D. Tajmanov, Elliott Mendelson, Characterization of Finitely Axiomatizable Classes of Models
Andrzej Mostowski; 165-166
Review: Dana Scott, Ralph Schoenman, Existence and Description in Formal Logic
Alonzo Church; 166-169
