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 4

#### Publication Date: December, 1974

String Theory

John Corcoran, William Frank and Michael Maloney; 625-637

Relation of Lesniewski's Mereology to Boolean Algebra

Robert E. Clay; 638-648

Cores of $\Pi^1_1$ Sets of Reals

Andreas Blass and Douglas Cenzer; 649-654

Minimal Pairs and High Recursively Enumerable Degrees

S. B. Cooper; 655-660

Implicational Formulas in Intuitionistic Logic

Alasdair Urquhart; 661-664

An $\omega_1$-Categorical Ring which is not Almost Strongly Minimal

K.-P. Podewski and J. Reineke; 665-668

On Subcreative Sets and $S$-Reducibility

John T. Gill III and Paul H. Morris; 669-677

The $\omega$-Consistency of Number Theory Via Herbrand's Theorem

W. D. Goldfarb and T. M. Scanlon; 678-692

Ordinal Bounds for $k$-Consistency

Warren D. Goldfarb; 693-699

Continuity and Elementary Logic

Leslie H. Tharp; 700-716

The Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces

C. Ward Henson; 717-731

Generalizing Special Aronszajn Trees

James H. Schmerl; 732-740

Association for Symbolic Logic

741-778

Miscellaneous back pages, J. Symbolic Logic, Volume 39, Issue 4 (1974)