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 47, Issue 4
Publication Date: December, 1982
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 47, Issue 4 (1982)
Real-Valued Models with Metric Equality and Uniformly Continuous Predicates
Michael Katz; 772-792
A Topological Analog to the Rice-Shapiro Index Theorem
Louise Hay and Douglas Miller; 824-832
Reviews
Review: Marian Boykan Pour-El, Ian Richards, A Computable Ordinary Differential Equation with Possesses no Computable Solution; Marian Boykan Pour-El, Ian Richards, The Wave Equation with Computable Initial Data Such that its Unique Solution is not Computable
G. Kreisel; 900-902
Review: V. L. Murskii, D. M. Pritzker, Nondiscernible Properties of Finite Systems of Identity Relations; George F. McNulty, The Decision Problem for Equational Bases of Algebras; George F. McNulty, Undecidable Properties of Finite Sets of Equations
S. Burris; 903-904
Review: Don Pigozzi, Base-Undecidable Properties of Universal Varieties; Don Pigozzi, Universal Equational Theories and Varieties of Algebras
S. Burris; 904
Review: Andreas Baudisch, Detlef Seese, Hans-Peter Tuschik, Martin Weese, Decidability and Generalized Quantifiers
John Cowles; 907-908
Review: Stephen P. Schwartz, Naming, Necessity, and Natural Kinds
Tyler Burge; 911-915
Review: Merrie Bergmann, James Moor, Jack Nelson, The Logic Book; Merrie Bergman, James Moor, Jack Nelson, Solutions to Selected Exercises in the Logic Book
Christopher S. Hill; 915-917
Miscellaneous back pages, J. Symbolic Logic, Volume 47, Issue 4 (1982)