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 4
Publication Date: December, 1986
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 51, Issue 4 (1986)
Survey/Expository Papers
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics
George Weaver and Jeffrey Welaish; 969-980
Transfer Principles for Pseudo Real Closed $e$-Fold Ordered Fields
Serban A. Basarab; 981-991
Conservative Extensions of Models of Set Theory and Generalizations
Ali Enayat; 1005-1021
Preservation Theorem and Relativization Theorem For Cofinal Extensions
Nobuyoshi Motohashi; 1022-1028
The Weak $\square^\ast$ is Really Weaker than the Full $\square$
Shai Ben-David and Menachem Magidor; 1029-1033
Reviews
Review: Theodore Baker, John Gill, Robert Solovay, Relativizations of the $\mathscr{P} = ?\mathscr{N} \mathscr{P}$ question; Charles H. Bennett, John Gill, Relative to a Random Oracle $A, P^a \neq NP^A \neq co-NP^A$ with Probability 1
Neil Immerman; 1061-1062
Review: J. B. Paris, L. Pacholski, J. Wierzejewski, A. J. Wilkie, A Hierarchy of Cuts in Models of Arithmetic; George Mills, A Tree Analysis of Unprovable Combinatorial Statements; Jussi Ketonen, Robert Solovay, Rapidly Growing Ramsey Functions
A. J. Wilkie; 1062-1066
Review: Robert M. Solovay, William N. Reinhardt, Akihiro Kanamori, Strong Axioms of Infinity and Elementary Embeddings; Menachem Magidor, How Large is the First Strongly Compact Cardinal? or A study on Identity Crises
Carlos Augusto Di Prisco; 1066-1068
Review: G. S. Makanin, The Problem of Solvability of Equations in a Free Semigroup
J. L. Britton; 1070-1071
Review: Wolfram Schwabhauser, Wanda Szmielew, Alfred Tarski, Ein Axiomatischer Aufbau der Euklidischen Geometrie; Wolfram Schwabhauser, Metamathematische Betrachtungen
Maria Moszynska; 1073-1075
Review: J. L. Bell, Boolean-Valued Models and Independence Proofs in Set Theory; Dana Scott, Foreword
James E. Baumgartner; 1076-1077
Review: Robert Goldblatt, Topoi. The Categorial Analysis of Logic
Philip J. Scott; 1077-1078
Review: Melvin Fitting, Fundamentals of Generalized Recursion Theory
Peter G. Hinman; 1078-1079
Review: Jeffrey D. Ullman, Principles of Database Systems; David Maier, The Theory of Relational Databases; Ashok K. Chandra, David Harel, Computable Queries for Relational Data Bases
J. A. Makowsky; 1079-1084
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985
Martin Davis, Edgar E. K. Lopez-Escobar and Wilfred Sieg; 1085-1092
Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985
Walter Carnielli; 1093-1103
Miscellaneous back pages, J. Symbolic Logic, Volume 51, Issue 4 (1986)
