The Journal of Symbolic Logic, Volume 23

Volume 23, Number 1, March 1958

L. Novak Gal: A Note on Direct Products. 1-6
Joseph R. Shoenfield: Open Sentences and the Induction Axiom. 7-12
Frederic Brenton Fitch: An Extensional Variety of Extended Basic Logic. 13-21
Burton S. Dreben: Twenty-Second Annual Meeting of the Association for Symbolic Logic. 103-112

Dana S. Scott, Patrick Suppes: Foundational Aspects of Theories of Measurement. 113-128
Kurt-R. Biermann, Jurgen Mau: Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik. 129-132
Ivo Thomas: A 12th Century Paradox of the Infinite. 133-134
A. N. Prior: Peirce's Axioms for Propositional Calculus. 135-136
I. L. Gal, J. Barkley Rosser, Dana S. Scott: Generalization of a Lemma of G. F. Rose. 137-138
Atwell R. Turquette: Simplified Axioms for Many-Valued Quantification Theory. 139-148
C. C. Chang, Anne C. Morel: On Closure Under Direct Product. 149-154
G. Kreisel: Mathematical Significance of Consistency Proofs. 155-182
Martin Davis, Hilary Putnam: Reductions of Hilbert's Tenth Problem. 183-187
Andrzej Grzegorczyk, Andrzej Mostowski, Czeslaw Ryll-Nardzewski: The Classical and the omega-Complete Arithmetic. 188-206

Paul Lorenzen: Logical Reflection and Formalism. 241-249
Hao Wang: Alternative Proof of a Theorem of Kleene. 250
R. M. Martin: A Formalization of Inductive Logic. 251-256
Frank Harary: Note on Carnap's Relational Asymptotic Relative Frequencies. 257-260
A. N. Prior: Epimenides the Cretan. 261-266
Trevor Evans, P. B. Schwartz: On Slupecki T-Functions. 267-270
Angelo Margaris: A Problem of Rosser and Turquette. 271-279
Clifford Spector: Measure-Theoretic Construction of Incomparable Hyperdegrees. 280-288
William Craig, Robert L. Vaught: Finite Axiomatizability Using Additional Predicates. 289-308
Richard M. Friedberg: Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication. 309-316
G. Kreisel: Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae. 317-330
Hartley Rogers Jr.: Godel Numberings of Partial Recursive Functions. 331-341

G. Kreisel: A Remark on Free Choice Sequences and the Topological Completeness Proofs. 369-388
Joseph R. Shoenfield: Degrees of Formal Systems. 389-392
Sigekatu Kuroda: An Investigation on the Logical Structure of Mathematics (V).1 Contradictions of Russell's Type. 393-407
Michael O. Rabin: On Recursively Enumerable and Arithmetic Models of Set Theory. 408-416
R. L. Goodstein: On the Formalisation of Indirect Discourse. 417-419
L. Jonathan Cohen: Professor Goodstein's Formalisation of the Policeman. 420
Jean Porte: Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation. 421-431
R. M. Martin: Twenty-Third Annual Meeting of the Association for Symbolic Logic. 456-461