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 62, Issue 4
Publication Date: December, 1997
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 62, Issue 4 (1997)
Defining Relevant Implication in a Propositionally Quantified S4
Philip Kremer; 1057-1069
Amalgamations Preserving $\aleph_0$-Categoricity
Anand Pillay and Akito Tsuboi; 1070-1074
A Version of $o$-Minimality for the $p$-Adics
Deirdre Haskell and Dugald Macpherson; 1075-1092
Prototypes for Definable Subsets of Algebraically Closed Valued Fields
Jan E. Holly; 1093-1141
The Consistency of $\mathrm{ZFC} + 2^{\aleph_0} > \aleph_\omega + \mathscr{J}(\aleph_2) = \mathscr{J}(\aleph_\omega)$
Martin Gilchrist and Saharon Shelah; 1151-1160
The Entire NS Ideal on $\mathscr{P}_\gamma \mu$ can be Precipitous
Noa Goldring; 1161-1172
Nondefinability Results for Expansions of the Field of Real Numbers by the Exponential Function and by the Restricted Sine Function
Ricardo Bianconi; 1173-1178
The Structure of Intrinsic Complexity of Learning
Sanjay Jain and Arun Sharma; 1187-1201
The Finite Model Property for Various Fragments of Linear Logic
Yves Lafont; 1202-1208
A Sufficient Condition for Completability of Partial Combinatory Algebras
Andrea Asperti and Agata Ciabattoni; 1209-1214
Contiguity and Distributivity in the Enumerable Turing Degrees
Rodney G. Downey and Steffen Lempp; 1215-1240
Variations on a Game of Gale (III): Remainder Strategies
Marion Scheepers and William Weiss; 1253-1264
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories
J. L. Bell; 1265-1279
Undecidable Extensions of Buchi Arithmetic and Cobham-Semenov Theorem
Alexis Bes; 1280-1296
Simple Forcing Notions and Forcing Axioms
Andrzej Roslanowski and Saharon Shelah; 1297-1314
Tychonoff's Theorem in the Framework of Formal Topologies
Sara Negri and Silvio Valentini; 1315-1332
An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model
Vladimir Kanovei; 1333-1351
Scientific Discovery Based on Belief Revision
Eric Martin and Daniel Osherson; 1352-1370
The Complexity of the Modal Predicate Logic of "True in Every Transitive Model of ZF"
Vann McGee; 1371-1378
$\underset{\tilde}{\Delta}^1_n$ Sets of Reals
Joan Bagaria and W. Hugh Woodin; 1379-1428
Wildness Implies Undecidability for Lattices over Group Rings
Carlo Toffalori; 1429-1447
Proofs of Strong Normalisation for Second Order Classical Natural Deduction
Michel Parigot; 1461-1479
Reviews
Review: Samuel R. Buss, The Undecidability of $k$-Provability
Alessandra Carbone; 1480-1481
Review: J. Denef, L. van den Dries, $p$-Adic and real Subanalytic Sets
Deirdre Haskell; 1481-1483
Review: G. E. Hughes, M. J. Cresswell, A New Introduction to Modal Logic
Michael Zakharyaschev; 1483-1484
Review: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning about Knowledge
Rohit Parikh; 1484-1487
Review: G. Crocco, L. Farinas del Cerro, A. Herzig, Conditionals: From Philosophy to Computer Science
Charles B. Cross and Donald Nute; 1487-1490
Review: Alexander S. Kechris, Classical Descriptive Set Theory
R. Daniel Mauldin; 1490-1491
Review: William J. Mitchell, John R. Steel, Fine Structure and Iteration Trees
P. D. Welch; 1491-1493
Review: James L. Hein, Discrete Structures, Logic, and Computability
Carlos Alves; 1494-1496
Errata
Miscellaneous back pages, J. Symbolic Logic, Volume 62, Issue 4 (1997)
