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 50, Issue 1
Publication Date: March, 1985
Miscellaneous front pages, J. Symbolic Logic, Volume 50, Issue 1 (1985)
A Recursive Model for Arithmetic with Weak Induction
Zofia Adamowicz and Guillermo Morales-Luna; 49-54
The Number of One-Generated Cylindric Set Algebras of Dimension Greater than Two
Jean A. Larson; 59-71
The Generalised RK-Order, Orthogonality and Regular Types for Modules
Mike Prest; 202-219
Reviews
Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part I; L. Henkin, J. D. Monk, A. Tarski, Cylindric Set Algebras and Related Structures; H. Andreka, I. Nemeti, On Cylindric-Relativized Set Algebras
Roger Maddux; 234-237
Review: K. Jon Barwise, Absolute Logics and $L_{\infty_\omega}$
Jouko Vaananen; 240-241
Review: J. A. Makowsky, Saharon Shelah, Jonathan Stavi, $\Delta$-Logics and Generalized Quantifiers
Jouko Vaananen; 241-242
Review: Peter A. Loeb, Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory; Robert M. Anderson, A Non-Standard Representation for Brownian Motion and Ito Integration
K. D. Stroyan; 243
Review: W. A. Howard, A System of Abstract Constructive Ordinals
Wilfried Buchholz; 243-244
Review: Georg Kreisel, Gaisi Takeuti, Formally Self-Referential Propositions for Cut Free Analysis and Related Systems; Peter Pappinghaus, A Version of the $\sum_1$-Reflection Principle for CFA Provable in PRA
Carlo Cellucci; 244-246
Review: Rudy Rucker, Infinity and the Mind. The Science and Philosophy of the Infinite
Joseph Shipman; 246-247
Review: R. C. Jeffrey, The Logic of Decision; Richard C. Jeffrey, The Logic of Decision; Richard C. Jeffrey, Preference among Preferences
Brian Skyrms; 247-248
Review: Hector-Neri Castaneda, Thinking and Doing. The Philosophical Foundations of Institutions
Peter Gardenfors; 248-250
Review: James Cargile, Paradoxes. A Study in Form and Predication
John Hawthorn; 250-252
Review: Crispin Wright, Frege's Conception of Numbers as Objects
Michael Jubien; 252-254
European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983
W. Obserschelp, B. Schinzel, W. Thomas and M. M. Richter; 259-283
Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984
John Baldwin, Matt Kaufmann and Julia F. Knight; 284-286
Miscellaneous back pages, J. Symbolic Logic, Volume 50, Issue 1 (1985)
