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 59, Issue 1 (1994)
Consistency of Suslin's Hypothesis, A Nonspecial Aronszajn Tree, and GCH
Chaz Schlindwein; 1-29
Consequences of Arithmetic for Set Theory
Lorenz Halbeisen and Saharon Shelah; 30-40
On the Number of Nonisomorphic Models of Size $|T|$
Ambar Chowdhury; 41-59
Diagonals and $\mathscr{D}$-Maximal Sets
Eberhard Herrmann and Martin Kummer; 60-72
Lower Bounds to the Size of Constant-Depth Propositional Proofs
Jan Krajicek; 73-86
Indecidabilite des Corps de Courbe Reelle
Luc Belair and Jean-Louis Duret; 87-91
Accessible Telephone Directories
John B. Goode; 92-105
Nonarithmetical $\aleph_0$-Categorical Theories with Recursive Models
Julia F. Knight; 106-112
On the Strength of Konig's Duality Theorem for Countable Bipartite Graphs
Stephen G. Simpson; 113-123
Finitely Constrained Classes of Homogeneous Directed Graphs
Brenda J. Latka; 124-139
Torre Models in the Isols
Joseph Barback; 140-150
Some Remarks on Nonmultidimensional Superstable Theories
Anand Pillay; 151-165
The Degrees of Conditional Problems
Su Gao; 166-181
Stationary Reflection and Ideals
Shu-Guo Zhang; 182-184
Definable Types in $\mathscr{O}$-Minimal Theories
David Marker and Charles I. Steinhorn; 185-198
Semilinear Cell Decomposition
Nianzheng Liu; 199-208
A Quantitative Analysis of Modal Logic
Ronald Fagin; 209-252
On the Degrees of Unsolvability of Modal Predicate Logics of Provability
Vann McGee; 253-261
Fragile Measurability
Joel Hamkins; 262-282
Schur-Zassenhaus Theorem Revisited
Alexandre V. Borovik and Ali Nesin; 283-291
The Strength of the Isomorphism Property
Renling Jin and Saharon Shelah; 292-301
Some Remarks on Openly Generated Boolean Algebras
Sakae Fuchino; 302-310
Lattice of Algebraically Closed Sets in One-Based Theories
Lee Fong Low; 311-321
Hilbert's Program and the Omega-Rule
Aleksandar Ignjatovic; 322-343
On Defining $C^\infty$
A. J. Wilkie; 344
Conference on Mathematical Logic: Co-Sponsored by the Association for Symbolic Logic, Pasris, 1992
G. Sabbagh; 345
Spring Meeting of the Association for Symbolic Logic: Toronto, 1993
S. K. Thomason; 346-349
Miscellaneous back pages, J. Symbolic Logic, Volume 59, Issue 1 (1994)
