Journal of Symbolic Logic

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)

Iterated Reflection Principles and the $\omega$-Rule

Ulf R. Schmerl; 721-733

Preservation of Elementary Equivalence Under Scalar Extension

Bruce I. Rose; 734-738

Constructible Lattices of $c$-Degrees

C. P. Farrington; 739-754

Reflecting Stationary Sets

Menachem Magidor; 755-771

Real-Valued Models with Metric Equality and Uniformly Continuous Predicates

Michael Katz; 772-792

First-Order Logic Based on Inclusion and Abstraction

John Bacon; 793-808

Recursively Enumerable Generic Sets

Wolfgang Maass; 809-823

A Topological Analog to the Rice-Shapiro Index Theorem

Louise Hay and Douglas Miller; 824-832

Models of Arithmetic and Closed Ideals

Julia Knight and Mark Nadel; 833-840

Theories D'Arbres

Michael Parigot; 841-853

Partial Degrees and the Density Problem

S. B. Cooper; 854-859

Analytic Sets Having Incomparable Kleene Degrees

Galen Weitkamp; 860-868

Solution to the $P-W$ Problem

E. P. Martin and R. K. Meyer; 869-887

The Combinatorial Principle $\diamond^\sharp$

Keith J. Devlin; 888-899

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: Dag Normann, A Jump Operator in Set Recursion

E. R. Griffor; 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: M. E. Szabo, Algebra of Proofs

G. E. Minc; 904-907

Review: Andreas Baudisch, Detlef Seese, Hans-Peter Tuschik, Martin Weese, Decidability and Generalized Quantifiers

John Cowles; 907-908

Review: Wang Hao, Popular Lectures on Mathematical Logic

H. Hermes; 908-909

Review: Casimir Lewy, Meaning and Modality

C. Anthony Anderson; 909-911

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

Association for Symbolic Logic

918-950

Notices

951-952

Miscellaneous back pages, J. Symbolic Logic, Volume 47, Issue 4 (1982)


2013 © Association for Symbolic Logic