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 74, Issue 4

Publication Date: December 2009

Forbidden intervals

Matthew Foreman; 1081-1099

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

Canonical rules

Emil Jeřábek; 1171-1205

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

Promptness does not imply superlow cuppability

David Diamondstone; 1264-1272

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

d-computable categoricity for algebraic fields

Russell Miller; 1325-1351

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

2009 © Association for Symbolic Logic