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 67, Issue 4
Publication Date: December 2002
Automorphism groups of models of Peano arithmetic
James H. Schmerl; 1249-1264
Smooth classes without AC and Robinson theories
Massoud Pourmahdian; 1274-1294
Small theories of Boolean ordered o-minimal structures
Roman Wencel; 1385-1390
Splitting and nonsplitting II: A low {\sb 2$} C.E. degree about which ${\bf 0}'$ is not splittable
S. Barry Cooper and Angsheng Li; 1391-1430
A rank for the class of elementary submodels of a superstable homogeneous model
Tapani Hyttinen and Olivier Lessmann; 1469-1482
A unified completeness theorem for quantified modal logics
Giovanna Corsi; 1483-1510
A constructive look at the completeness of the space $\scr D({\bf R})$
Hajime Ishihara and Satoru Yoshida; 1511-1519
Modulated fibring and the collapsing problem
Walter A. Carnielli, João Rasga and Cristina Sernadas; 1541-1569
Borovik-Poizat rank and stability
Jeffrey Burdges and Gregory Cherlin; 1570-1578
Corrigendum: ``Contiguity and distributivity in the enumerable Turing degrees''
Rodney G. Downey and Steffen Lempp; 1579-1580
