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 51, Issue 3

Publication Date: September, 1986

Miscellaneous front pages, J. Symbolic Logic, Volume 51, Issue 3 (1986)

A Saturation Property of Ideals and Weakly Compact Cardinals

Joji Takahashi; 513-525

Small Filter Forcing

R. Michael Canjar; 526-546

Between Strong and Superstrong

Stewart Baldwin; 547-559

On Ideals of Subsets of the Plane and on Cohen Reals

Jacek Cichon and Janusz Pawlikowski; 560-569

Attention a la Marche!

Bruno Poizat; 570-585

Completeness Theorem for Biprobability Models

Miodrag D. Raskovic; 586-590

Large Cardinal Structures Below $\aleph_\omega$

Arthur W. Apter and James M. Henle; 591-603

$P_\kappa\lambda$ Combinatorics II: The RK Ordering Beneath a Supercompact Measure

William S. Zwicker; 604-616

Distributive Ideals and Partition Relations

C. A. Johnson; 617-625

On the Proof Theory of the Intermediate Logic MH

Jonathan P. Seldin; 626-647

On Precipitousness of the Nonstationary Ideal Over a Supercompact

Moti Gitik; 648-662

The Truth is Never Simple

John P. Burgess; 663-681

Taking Out $LK$ Parts from a Proof in Peano Arithmetic

Tsuyoshi Yukami; 682-700

Supercompact Cardinals, Trees of Normal Ultrafilters, and the Partition Property

Julius B. Barbanel; 701-708

Some Remarks on Definable Equivalence Relations in O-Minimal Structures

Anand Pillay; 709-714

The Independence Relation in Separably Closed Fields

G. Srour; 715-725

Small Decidable Sheaves

Andreas Blass and Andre Scedrov; 726-731

Some Elementary Degree-Theoretic Reasons Why Structures Need Similarity Types

T. G. McLaughlin; 732-747

Some Properties of Epistemic Set Theory with Collection

Andre Scedrov; 748-754

Stability Theory for Topological Logic, with Applications to Topological Modules

T. G. Kucera; 755-769

The Degrees Below A 1-Generic Degree $< 0'$

Christine Ann Haught; 770-777

A Simple Solution to Friedman's Fourth Problem

Xavier Caicedo; 778-784

Inverse Topological Systems and Compactness in Abstract Model Theory

Daniele Mundici; 785-794

A L'Ouest D'Eden

Bruno Poizat; 795-816

Reviews

Review: Anna R. Bruss, Albert R. Meyer, On Time-Space Classes and their Relation to the Theory of Real Addition; Leonard Berman, The Complexity of Logical Theories; Hugo Volger, Turing Machines with Linear Alternation, Theories of Bounded Concatenation

Charles Rackoff; 817-818

Review: Saul A. Kripke, Wittgenstein on Rules and Private Language. An Elementary Exposition

Harry Deutsch; 819-821

Review: Leonard Linsky, Oblique Contexts

John Tienson; 821-822

Review: H. Jerome Keisler, An Infinitesimal Approach to Stochastic Analysis

Jens Erik Fenstad; 822-824

Review: Dov M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic

Wim Veldman; 824

Review: G. E. Hughes, M. J. Cresswell, A Companion to Modal Logic

Johan Van Benthem; 824-826

Review: Dirk van Dalen, Logic and Structure; Dirk van Dalen, Logic and Structure

Melvin Fitting; 826-827

Review: Ermanno Bencivenga, Il Primo Libro di Logica. Introduzione ai Metodi Della Logica Contemporanea

Flavio Previale; 827

Review: U. L. Ersov, E. A. Palutin, Mathematical Logic

G. Minc; 827-829

Review: Yu. L. Ershov, E. A. Palyutin, Mathematical Logic

Elliott Mendelson; 829

Review: Yu. I. Manin, A Course in Mathematical Logic

George Boolos; 829-830

Review: Abram Aronovich Stolyar, Elliott Mendelson, Introduction to Elementary Mathematical Logic

Diane Resek; 830-831

Meeting of the Association for Symbolic Logic: Stanford, California, 1985

Jon Barwise, Solomon Feferman and David Israel; 832-862

Notices

863-864

Miscellaneous back pages, J. Symbolic Logic, Volume 51, Issue 3 (1986)


2013 © Association for Symbolic Logic