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.
Miscellaneous front pages, J. Symbolic Logic, Volume 43, Issue 3 (1978)
Prime and Atomic Models
Julia F. Knight; 385-393
On the Compactness of $\mathbf{\aleph}_1$ and $\mathbf{\aleph}_2$
C. A. Di Prisco and J. Henle; 394-401
A Characterization of Companionable, Universal Theories
William H. Wheeler; 402-429
A $r$-Maximal Vector Space not contained in any Maximal Vector Space
J. Remmel; 430-441
Theories with a Finite Number of Countable Models
Robert E. Woodrow; 442-455
$\alpha$-Degrees of Maximal $\alpha$-R.E. Sets
Anne Leggett; 456-474
On the Number of Minimal Models
Saharon Shelah; 475-480
The Stability Function of a Theory
H. Jerome Keisler; 481-486
A Continuous Functional with Noncollapsing Hierarchy
Dag Normann; 487-491
Number of Countable Models
Anand Pillay; 492-496
The Nonconstructive Content of Sentences of Arithmetic
Nicolas D. Goodman; 497-501
Minimal Upper Bounds for Sequences of $\Delta^1_{2n}$-Degrees
Alexander S. Kechris; 502-507
$\mathbf{\Sigma}_1$-Compactness in Languages Stronger than $\mathscr{L}_A$
Nigel Cutland; 508-520
Global Inductive Definability
Jon Barwise and Yiannis N. Moschovakis; 521-534
Interpolation Theorems for $L^{2+}_{k,k}$
Ruggero Ferro; 535-549
End Extensions and Numbers of Countable Models
Saharon Shelah; 550-562
A Model of Peano Arithmetic with no Elementary End Extension
George Mills; 563-567
On the Hanf Number of Souslin Logic
John P. Burgess; 568-571
Models Without Indiscernibles
Fred G. Abramson and Leo A. Harrington; 572-600
Uniform Upper Bounds on Ideals of Turing Degrees
Harold T. Hodes; 601-612
An Addendum to The Work of Kurt Godel
Stephen C. Kleene; 613
Meeting of the Association for Symbolic Logic: Chicago, 1977
Carl G. Jockusch, Robert I. Soare, William Tait and Gaisi Takeuti; 614-619
What is the Conference Board of the Mathematical Sciences?
Truman Botts; 620-621
Miscellaneous back pages, J. Symbolic Logic, Volume 43, Issue 3 (1978)
