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 66, Issue 1
Publication Date: March, 2001
Miscellaneous front pages, J. Symbolic Logic, Volume 66, Issue 1 (2001)
On the Strength of Ramsey's Theorem for Pairs
Peter A. Cholak, Carl G. Jockusch and Theodore A. Slaman; 1-55
Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank
J. Duparc; 56-86
Minimal but Not Strongly Minimal Structures with Arbitrary Finite Dimensions
Koichiro Ikeda; 117-126
Minimum Propositional Proof Length Is NP-Hard to Linearly Approximate
Michael Alekhnovich, Sam Buss, Shlomo Moran and Toniann Pitassi; 171-191
Syntactical Truth Predicates for Second Order Arithmetic
Loic Colson and Serge Grigorieff; 225-256
Modules with Few Types over a Hereditary Noetherian Prime Ring
Vera Puninskaya; 271-280
On the Admissible Rules of Intuitionistic Propositional Logic
Rosalie Iemhoff; 281-294
Distance Semantics for Belief Revision
Daniel Lehmann, Menachem Magidor and Karl Schlechta; 295-317
Existentially Closed Structures and Godel's Second Incompleteness Theorem
Zofia Adamowicz and Teresa Bigorajska; 349-356
Some Independence Results for Control Structures in Complete Numberings
Sanjay Jain and Jochen Nessel; 357-382
Fibring: Completeness Preservation
Alberto Zanardo, Amilcar Sernadas and Cristina Sernadas; 414-439
Miscellaneous back pages, J. Symbolic Logic, Volume 66, Issue 1 (2001)
