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 74, Issue 4
Publication Date: December 2009
Functional interpretation and inductive definitions
Jeremy Avigad and Henry Towsner; 1100-1120
Almost everywhere elimination of probability quantifiers
H. Jerome Keisler and Wafik Boulos Lotfallah; 1121-1142
Some remarks on generic structures
David E. Evans and Mark Wing Ho Wong; 1143-1154
Incompatible Ω-complete theories
Peter Koellner and W. Hugh Woodin; 1155-1170
A note on defining transcendentals in function fields
Arno Fehm and Wulf-Dieter Geyer; 1206-1210
Approachability at the second successor of a singular cardinal
Moti Gitik and John Krueger; 1211-1224
Heirs of box types in polynomially bounded structures
Marcus Tressl; 1225-1263
Independently axiomatizable ℒω1,ω theories
Greg Hjorth and Ioannis A. Souldatos; 1273-1286
Successors of singular cardinals and coloring theorems {II}
Todd Eisworth and Saharon Shelah; 1287-1309
The strength of the rainbow Ramsey Theorem
Barbara F. Csima and Joseph R. Mileti; 1310-1324
On computable self-embeddings of computable linear orderings
Rodney G. Downey, Bart Kastermans and Steffen Lempp; 1352-1366
The modal μ-calculus hierarchy over restricted classes of transition systems
L. Alberucci and A. Facchini; 1367-1400
Logical aspects of rates of convergence in metric spaces
Eyvind Martol Briseid; 1401-1428
First-order characterization of the radical of a finite group
John S. Wilson; 1429-1435
Corrigendum to: “On Lascar rank and Morley rank of definable groups in differentially closed fields”
Anand Pillay and Wai Yan Pong; 1436-1437
Corrigendum to: “On the strength of Ramsey's Theorem for pairs”
Peter Cholak, Theodore A. Slaman and Jr.}, Carl G. {Jockusch; 1438-1439
