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 71, Issue 4
Publication Date: December 2006
Diagonal actions and Borel equivalence relations
Longyun Ding and Su Gao; 1081-1096
Local-global properties of positive primitive formulas in the theory of spaces of orderings
M. Marshall; 1097-1107
A metamathematical condition equivalent to the existence of a complete left invariant metric for a Polish group
Alex Thompson; 1108-1124
Properly Σ⁰₂ enumeration degrees and the high/low hierarchy
Matthew Giorgi, Andrea Sorbi and Yue Yang; 1125-1144
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
Dan E. Willard; 1189-1199
Truth in V for ∃*∀∀-sentences is decidable
D. Bellé and F. Parlamento; 1200-1222
On Σ₁-structural differences among finite levels of the Ershov hierarchy
Yue Yang and Liang Yu; 1223-1236
A Buchholz derivation system for the ordinal analysis of KP+Π₃-reflection
Markus Michelbrink; 1237-1283
The Π₃-theory of the Σ⁰₂-enumeration degrees is undecidable
Thomas F. Kent; 1284-1302
Predicate logics of constructive arithmetical theories
Albert Visser; 1311-1326
A polarized partition relation for weakly compact cardinals using elementary substructures
Albin L. Jones; 1342-1352
Glivenko theorems for substructural logics over FL
Nikolaos Galatos and Hiroakira Ono; 1353-1384
Every 1-generic computes a properly 1-generic
Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt and Joseph S. Miller; 1385-1393
Computability results used in differential geometry
Barbara F. Csima and Robert I. Soare; 1394-1410
Randomness and halting probabilities
Verónica Becher, Santiago Figueira, Serge Grigorieff and Joseph S. Miller; 1411-1430
Corrigendum to: ‘A constructive view on ergodic theorems’
Bas Spitters; 1431-1432
