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 53, Issue 4
Publication Date: December, 1988
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 53, Issue 4 (1988)
Formal Languages Defined by the Underlying Structure of their Words
J. P. Ressayre; 1009-1026
On Parameter Free Induction Schemas
R. Kaye, J. Paris and C. Dimitracopoulos; 1082-1097
On the Use of Inaccessible Numbers and Order Indiscernibles in Lower Bound Arguments for Random Access Machines
Wolfgang Maass; 1098-1109
Degree Theoretical Splitting Properties of Recursively Enumerable Sets
Klaus Ambos-Spies and Peter A. Fejer; 1110-1137
On the Structure of Semialgebraic Sets Over $p$-Adic Fields
Philip Scowcroft and Lou van den Dries; 1138-1164
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes
W. A. MacCaull; 1177-1187
Indecidabilite de Corps de Series Formelles
Francoise Delon and Yamina Rouani; 1227-1234
Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes
J. B. Paris, A. J. Wilkie and A. R. Woods; 1235-1244
Mechanical Learners Pay a Price for Bayesianism
Daniel N. Osherson, Michael Stob and Scott Weinstein; 1245-1251
Reviews
Review: Theodore Hailperin, Boole's Logic and Probability. A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory
N. T. Gridgeman; 1253-1254
Review: Rudy Rucker, Mind Tools. The Five Levels of Mathematical Reality
Raymond M. Smullyan; 1254-1255
Review: Melvin Fitting, Computability Theory, Semantics, and Logic Programming
J. C. Shepherdson; 1257
Review: Larry Wos, Automated Reasoning: 33 Basic Research Problems
William M. Farmer; 1258-1259
Review: Johan Hastad, Computational Limitations of Small-Depth Circuits
Stuart A. Kurtz; 1259-1260
Review: S. Yu Maslov, Michael Gelfond, Vladimir Lifschitz, Theory of Deductive Systems and its Applications
Daniel J. Dougherty; 1260-1261
Review: K. D. Stroyan, Jose Manuel Bayod, Foundations of Infinitesimal Stochastic Analysis
Nigel Cutland; 1261-1262
Review: Kit Fine, First-Order Modal Theories I--Sets; Kit Fine, First-Order Modal Theories; Kit Fine, First-Order Modal Theories III--Facts
F. W. Kroon; 1262-1269
Meeting of the Association for Symbolic Logic: New York City, May 1987
Martin Davis and Rohit Parikh; 1270-1274
Logic and Linguistics Meeting, Stanford, 1987
K. Jon Barwise and Richmond H. Thomason; 1275-1282
Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987
R. A. Girle and I. C. Hinckfuss; 1283-1286
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987
Nicholas Goodman, Harold T. Hodes, Carl G. Jockusch and Kenneth McAloon; 1287-1299
Miscellaneous back pages, J. Symbolic Logic, Volume 53, Issue 4 (1988)
