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 63, Issue 2
Publication Date: June, 1998
Miscellaneous front pages, J. Symbolic Logic, Volume 63, Issue 2 (1998)
Relative Enumerability in the Difference Hierarchy
Marat M. Arslanov, Geoffrey L. Laforte and Theodore A. Slaman; 411-420
The Logic of Recursive Equations
A. J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss and Glen T. Whitney; 451-478
There are 2$^\aleph\circ$ Many almost Strongly Minimal Generalized n-Gons that do not Interpret and Infinite Group
Mark J. Debonis and Ali Nesin; 485-508
Superdestructibility: A Dual to Laver's Indestructibility
Joel David Hamkins and Saharon Shelah; 549-554
Sequentially Continuous Linear Mappings in Constructive Analysis
Douglas Bridges and Ray Mines; 579-583
Changing Cardinal Invariants of the Reals without Changing Cardinals or the Reals
Heike Mildenberger; 593-599
On the Computational Content of the Axiom of Choice
Stefano Berardi, Marc Bezem and Thierry Coquand; 600-622
Relational Semantics and a Relational Proof System for Full Lambek Calculus
Wendy MacCaull; 623-637
A Note on Valuation Definable Expansions of Fields
Deirdre Haskell and Dugald Macpherson; 739-743
Reviews
Review: Ehud Hrushovski, The Mordell-Lang Conjecture for Function Fields
David E. Marker; 744-746
Review: David Marker, Introduction to the Model Theory of Fields
Zoe Chatzidakis; 746-747
Review: Richard Lassaigne, Michel de Rougemont, Logique et complexite
Denis Therien; 748
Review: L. A. Harrington, A. S. Kechris, A. Louveau, A Glimm-Effros Dichotomy for Borel Equivalence Relations
Greg Hjorth; 749-750
Review: S. Todorchevich, I. Farah, Some Applications of the Method of Forcing
Qi Feng; 750-751
Review: Luis E. Sanchis, Set Theory -- An Operational Approach
J. P. Mayberry; 751-752
Miscellaneous back pages, J. Symbolic Logic, Volume 63, Issue 2 (1998)