Journal of Symbolic Logic

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)

Higher Gap Morasses, IA: Gap-Two Morasses and Condensation

Charles Morgan; 753-787

Definability and Definable Groups in Simple Theories

Anand Pillay; 788-796

$\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

Forcing on Bounded Arithmetic II

Gaisi Takeuti and Masahiro Yasumoto; 860-868

Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic

Wil Dekkers, Martin Bunder and Henk Barendregt; 869-890

On Automorphism Groups of Countable Structures

Su Gao; 891-896

Variations on a Theme by Weiermann

Toshiyasu Arai; 897-925

A Note on Lascar Strong Types in Simple Theories

Byunghan Kim; 926-936

The Fine Structure of Real Mice

Daniel W. Cunningham; 937-994

Small Fields

Frank O. Wagner; 995-1002

Nowhere Precipitousness of Some Ideals

Yo Matsubara and Masahiro Shioya; 1003-1006

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

On the Existence of Strong Chains in $\wp(\omega_1)$/Fin

Piotr Koszmider; 1055-1062

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

[Omnibus Review]

Mathieu Marion; 1177-1180

Review: W. D. Hart, The Philosophy of Mathematics

Bob Hale; 1180-1183

[Omnibus Review]

Henry Kyburg; 1183-1184

Review: Wolfram Pohlers, Pure Proof Theory. Aims, Methods and Results

G. Mints; 1185

Review: Kosta Dosen, Deductive Completeness

J. Lambek; 1185-1186

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

Review: Maria Manzano, Extensions of First Order Logic

Yde Venema; 1194-1196

[Omnibus Review]

Don Fallis; 1196-1200

Miscellaneous back pages, J. Symbolic Logic, Volume 63, Issue 3 (1998)


2013 © Association for Symbolic Logic