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 63, Issue 3
Publication Date: September, 1998
Miscellaneous front pages, J. Symbolic Logic, Volume 63, Issue 3 (1998)
$\Sigma_2$ Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator
C. T. Chong and Yue Yang; 797-814
Automorphisms Moving all Non-Algebraic Points and an Application to NF
Friederike Korner; 815-830
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening
A. Avron; 831-859
Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic
Wil Dekkers, Martin Bunder and Henk Barendregt; 869-890
Proof Systems for Probabilistic Uncertain Reasoning
J. Paris and A. Vencovska; 1007-1039
Ideals Over $\omega$ and Cardinal Invariants of the Continuum
P. Matet and J. Pawlikowski; 1040-1054
Completions of PA: Models and Enumerations of Representable Sets
Alex M. McAllister; 1063-1082
Kolmogorov Complexity and Symmetric Relational Structures
W. L. Fouche and P. H. Potgieter; 1083-1094
Witnessing Functions in Bounded Arithmetic and Search Problems
Mario Chiari and Jan Krajicek; 1095-1115
Chains of End Elementary Extensions of Models of Set Theory
Andres Villaveces; 1116-1136
Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem
Peter Koepke; 1137-1176
Reviews
Review: Murray Shanahan, Solving the Frame Problem. A Mathematical Investigation of the Common Sense Law of Inertia
Michael Gelfond; 1186-1188
Review: Sergei S. Goncharov, Countable Boolean Algebras and Decidability
Valentina Harizanov; 1188-1190
Review: Sergei S. Goncharov, Schetnye bulevy algebry i razreshimost'. Russian Original of the Preceding; Anand Pillay, Geometric Stability Theory
Boris Zil'Ber; 1190
Review: Miodrag Raskovic, Radosav Dordevic, Probability Quantifiers and Operators
H. Jerome Keisler; 1191-1193
Review: Krzysztof Ciesielski, Set Theory for the Working Mathematician
Winfried Just; 1193-1194
Miscellaneous back pages, J. Symbolic Logic, Volume 63, Issue 3 (1998)