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 68, Issue 4
Publication Date: December 2003
Universally Baire sets and definable well-orderings of the reals
Sy D. Friedman and Ralf Schindler; 1065-1081
Recovering ordered structures from quotients of their automorphism groups
M. Giraudet and J. K. Truss; 1189-1198
A computably categorical structure whose expansion by a constant has infinite computable dimension
Denis R. Hirschfeldt, Bakhadyr Khoussainov and Richard A. Shore; 1199-1241
Additivity properties of topological diagonalizations
Tomek Bartoszynski, Saharon Shelah and Boaz Tsaban; 1254-1260
A short proof of the strong normalization of classical natural deduction with disjunction
René David and Karim Nour; 1277-1288
Ordering MAD families a la Katětov
Salvador García Ferreira and Michael Hrušák; 1337-1353
The cofinality of the infinite symmetric group and groupwise density
Jörg Brendle and Maria Losada; 1354-1361
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences
Wolfgang Merkle; 1362-1376
A proof-theoretic study of the correspondence of classical logic and modal logic
H. Kushida and M. Okada; 1403-1414
Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”
Koji Nakazawa and Makoto Tatsuta; 1415-1416
