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 51, Issue 3
Publication Date: September, 1986
Miscellaneous front pages, J. Symbolic Logic, Volume 51, Issue 3 (1986)
On Ideals of Subsets of the Plane and on Cohen Reals
Jacek Cichon and Janusz Pawlikowski; 560-569
Large Cardinal Structures Below $\aleph_\omega$
Arthur W. Apter and James M. Henle; 591-603
$P_\kappa\lambda$ Combinatorics II: The RK Ordering Beneath a Supercompact Measure
William S. Zwicker; 604-616
Supercompact Cardinals, Trees of Normal Ultrafilters, and the Partition Property
Julius B. Barbanel; 701-708
Some Remarks on Definable Equivalence Relations in O-Minimal Structures
Anand Pillay; 709-714
Some Elementary Degree-Theoretic Reasons Why Structures Need Similarity Types
T. G. McLaughlin; 732-747
Stability Theory for Topological Logic, with Applications to Topological Modules
T. G. Kucera; 755-769
Inverse Topological Systems and Compactness in Abstract Model Theory
Daniele Mundici; 785-794
Reviews
Review: Anna R. Bruss, Albert R. Meyer, On Time-Space Classes and their Relation to the Theory of Real Addition; Leonard Berman, The Complexity of Logical Theories; Hugo Volger, Turing Machines with Linear Alternation, Theories of Bounded Concatenation
Charles Rackoff; 817-818
Review: Saul A. Kripke, Wittgenstein on Rules and Private Language. An Elementary Exposition
Harry Deutsch; 819-821
Review: H. Jerome Keisler, An Infinitesimal Approach to Stochastic Analysis
Jens Erik Fenstad; 822-824
Review: Dov M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic
Wim Veldman; 824
Review: G. E. Hughes, M. J. Cresswell, A Companion to Modal Logic
Johan Van Benthem; 824-826
Review: Dirk van Dalen, Logic and Structure; Dirk van Dalen, Logic and Structure
Melvin Fitting; 826-827
Review: Ermanno Bencivenga, Il Primo Libro di Logica. Introduzione ai Metodi Della Logica Contemporanea
Flavio Previale; 827
Review: Abram Aronovich Stolyar, Elliott Mendelson, Introduction to Elementary Mathematical Logic
Diane Resek; 830-831
Meeting of the Association for Symbolic Logic: Stanford, California, 1985
Jon Barwise, Solomon Feferman and David Israel; 832-862
Miscellaneous back pages, J. Symbolic Logic, Volume 51, Issue 3 (1986)