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 2

Publication Date: June, 1998

Miscellaneous front pages, J. Symbolic Logic, Volume 63, Issue 2 (1998)

The Effective Content of Surreal Algebra

Jacob Lurie; 337-371

Definability and Descent

David Ballard and William Boshuck; 372-378

Undecidable Extensions of Skolem Arithmetic

Alexis Bes and Denis Richard; 379-401

Solving Pell Equations Locally in Models of I$\Delta_0$

Paola D'Aquino; 402-410

Relative Enumerability in the Difference Hierarchy

Marat M. Arslanov, Geoffrey L. Laforte and Theodore A. Slaman; 411-420

On Minimal Structures

Oleg V. Belegradek; 421-426

DOP and FCP in Generic Structures

John T. Baldwin and Saharon Shelah; 427-438

The Representation Theories of Elementarily Equivalent Rings

Mike Prest; 439-450

The Logic of Recursive Equations

A. J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss and Glen T. Whitney; 451-478

Amalgamation in Relation Algebras

Maarten Marx; 479-484

There are 2$^\aleph\circ$ Many almost Strongly Minimal Generalized n-Gons that do not Interpret and Infinite Group

Mark J. Debonis and Ali Nesin; 485-508

Explicit Mathematics with the Monotone Fixed Point Principle

Michael Rathjen; 509-542

Some Two-Cardinal Results for O-Minimal Theories

Timothy Bays; 543-548

Superdestructibility: A Dual to Laver's Indestructibility

Joel David Hamkins and Saharon Shelah; 549-554

A Strong Version of Herbrand's Theorem for Introvert Sentences

Tore Langholm; 555-569

Paires De Structures O-Minimales

Yerzhan Baisalov and Bruno Poizat; 570-578

Sequentially Continuous Linear Mappings in Constructive Analysis

Douglas Bridges and Ray Mines; 579-583

The Rudin-Blass Ordering of Ultrafilters

Claude Laflamme and Jian-Ping Zhu; 584-592

Changing Cardinal Invariants of the Reals without Changing Cardinals or the Reals

Heike Mildenberger; 593-599

On the Computational Content of the Axiom of Choice

Stefano Berardi, Marc Bezem and Thierry Coquand; 600-622

Relational Semantics and a Relational Proof System for Full Lambek Calculus

Wendy MacCaull; 623-637

Ultrafilters which Extend Measures

Michael Benedikt; 638-662

An Absoluteness Principle for Borel Sets

Greg Hjorth; 663-693

A Many Permutation Group Result for Unstable Theories

Mark D. Schlatter; 694-708

Frege Proof System and TNC$^\circ$

Gaisi Takeuti; 709-738

A Note on Valuation Definable Expansions of Fields

Deirdre Haskell and Dugald Macpherson; 739-743

Reviews

Review: Ehud Hrushovski, The Mordell-Lang Conjecture for Function Fields

David E. Marker; 744-746

Review: David Marker, Introduction to the Model Theory of Fields

Zoe Chatzidakis; 746-747

Review: Yuri L. Ershov, Definability and Computability

Ivan Soskov; 747-748

Review: Richard Lassaigne, Michel de Rougemont, Logique et complexite

Denis Therien; 748

Review: L. A. Harrington, A. S. Kechris, A. Louveau, A Glimm-Effros Dichotomy for Borel Equivalence Relations

Greg Hjorth; 749-750

Review: S. Todorchevich, I. Farah, Some Applications of the Method of Forcing

Qi Feng; 750-751

Review: Luis E. Sanchis, Set Theory -- An Operational Approach

J. P. Mayberry; 751-752

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


2013 © Association for Symbolic Logic