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 52, Issue 2
Publication Date: June, 1987
Miscellaneous front pages, J. Symbolic Logic, Volume 52, Issue 2 (1987)
Semiproper Forcing Axiom Implies Martin Maximum but Not $|mathrm{PFA}^+$
Saharon Shelah; 360-367
A Note on Elementary Equivalence of $C(K)$ Space
S. Heinrich, C. Ward Henson and L. C. Moore; 368-373
Martin's Axiom and a Regular Topological Space with Uncountable Net Weight Whose Countable Product is Hereditarily Separable and Hereditarily Lindelof
Krzysztof Ciesielski; 396-399
Systematization of Finite Many-Valued Logics Through the Method of Tableaux
Walter A. Carnielli; 473-493
Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation
Franco Montagna; 494-511
Compact Numeral Representation with Combinators
E. V. Krishnamurthy and B. P. Vickers; 519-525
A Contractionless Semilattice Semantics
Steve Giambrone, Robert K. Meyer and Alasdair Urquhart; 526-529
Reviews
Review: Paul Benacerraf, Mathematical Truth; Michael Jubien, Ontology and Mathematical Truth; Philip Kitcher, The Plight of the Platonist
W. D. Hart; 552-554
Review: Edward L. Keenan, Leonard M. Faltz, Boolean Semantics for Natural Language
Lawrence S. Moss; 554-555
Review: Alan Bundy, The Computer Modelling of Mathematical Reasoning
Vladimir Lifschitz; 555-557
Review: Ermanno Bencivenga, Una Logic Dei Termini Singolari
Ignacio Angelelli; 558-561
Review: David Marker, J. Stern, Degrees of Models of True Arithmetic; Julia Knight, Alistair H. Lachlan, Robert I. Soare, Two Theorems on Degrees of Models of True Arithmetic
Terrence S. Millar; 562-563
Review: H. E. Rose, Subrecursion. Functions and Hierarchies
H. Schwichtenberg; 563-565
Review: S. G. Gindikin, Robert H. Silverman, Algebraic Logic
Raymond J. Nelson; 565-567
Review: S. G. Gindikin, Algebra Logiki v Zadacah; Moshe Jarden, Elementary Statements over large Algebraic Fields
A. Prestel; 567
Review: Moshe Jarden, Ursel Kiehne, The Elementary Theory of Algebraic Fields of Finite Corank
A. Prestel; 567
Review: Moshe Jarden, The Elementary Theory of $\omega$free Ax Fields
A. Prestel; 567-568
Review: Gregory Cherlin, Lou van Den Dries, Angus Macintyre, Decidability and Undecidability Theorems for PAC-fields
A. Prestel; 568
Review: Michael Hallett, Cantorian Set Theory and Limitation of Size
Gregory H. Moore; 568-570
Review: Kenneth McAloon, On the Sequence of Models $\operatorname{HOD}_n$; Thomas J. Jech, Forcing with Trees and Ordinal Definability; Wlodzimierz Zadrozny, Iterating Ordinal Definability
Rene David; 570-571
Miscellaneous back pages, J. Symbolic Logic, Volume 52, Issue 2 (1987)
