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 76, Issue 4
Publication Date: December 2011
BPFA and projective well-orderings of the reals
Andrés Eduardo Caicedo and Sy-David Friedman; 1126-1136
Relative decidability and definability in henselian valued fields
Joseph Flenner; 1240-1260
Quasi-subtractive varieties
Tomasz Kowalski, Francesco Paoli and Matthew Spinks; 1261-1286
Limits on jump inversion for strong reducibilities
Barbara F. Csima, Rod Downey and Keng Meng Ng; 1287-1296
Finitely approximable groups and actions Part I: The Ribes—Zaluesskiĭ property
Christian Rosendal; 1297-1306
Finitely approximable groups and actions Part II: Generic representations
Christian Rosendal; 1307-1321
The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric groupcan be larger than 𝔟+
Heike Mildenberger and Saharon Shelah; 1322-1340
The additive group of the rationals does not have an automatic presentation
Todor Tsankov; 1341-1351
Automatic structures of bounded degree revisited
Dietrich Kuske and Markus Lohrey; 1352-1380
Strong isomorphism reductions in complexity theory
Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman and Moritz Müller; 1381-1402
On relationships between algebraic properties of groups and rings in some model-theoretic contexts
Krzysztof Krupiński; 1403-1417
On the decidability of the real field with a generic power function
Gareth Jones and Tamara Servi; 1418-1428
On transitive subrelations of binary relations
Christopher S. Hardin; 1429-1440
