Miscellaneous front pages, J. Symbolic Logic, Volume 52, Issue 3 (1987)

• View Abstract

A Simple Relationship between Buchholz's New System of Ordinal Notations and Takeuti's System of Ordinal Diagrams

Mitsuhiro Okada; 577-581

• View Abstract

Combinatorics on Ideals and Forcing with Trees

Marcia J. Groszek; 582-593

• View Abstract

Dominical Categories: Recursion Theory without Elements

Robert A. Di Paola and Alex Heller; 594-635

• View Abstract

Proper Classes via the Iterative Conception of Set

Mark F. Sharlow; 636-650

• View Abstract

A Model in which the Base-Matrix Tree Cannot have Cofinal Branches

Peter Lars Dordal; 651-664

• View Abstract

Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic

Neil Tennant; 665-680

• View Abstract

On $\Pi_1$-Automorphism of Recursive Linear Orders

Henry A. Kierstead; 681-688

• View Abstract

Monadic Binary Relations and the Monad Systems at Near-Standard Points

Nader Vakil; 689-697

• View Abstract

Complete Theories with Only Universal and Existential Axioms

A. H. Lachlan; 698-711

• View Abstract

Semi-De Morgan Algebras

Hanamantagouda P. Sankappanavar; 712-724

• View Abstract

Von Mises' Definition of Random Sequences Reconsidered

Michiel Van Lambalgen; 725-755

• View Abstract

Modal Sequents and Definability

Bruce M. Kapron; 756-762

• View Abstract

First Order Topological Structures and Theories

Anand Pillay; 763-778

• View Abstract

A Preservation Theorem for EC-Structures with Applications

Michael H. Albert; 779-785

• View Abstract

Injectives in Finitely Generated Universal Horn Classes

Michael H. Albert and Ross Willard; 786-792

• View Abstract

Open Induction and the True Theory of Rationals

Zofia Adamowicz; 793-801

• View Abstract

An Analytic Completeness Theorem for Logics with Probability Quantifiers

Douglas N. Hoover; 802-816

• View Abstract

Monotone but not Positive Subsets of the Cantor Space

Randall Dougherty; 817-818

• View Abstract

On the Existence of Extensional Partial Combinatory Algebras

Ingemarie Bethke; 819-833

• View Abstract

Quantum Logic and the Classical Propositional Calculus

Othman Qasim Malhas; 834-841

• View Abstract

Nonstandard Characterizations of Recursive Saturation and Resplendency

Stuart T. Smith; 842-863

• View Abstract

Review: Keith J. Devlin, Constructibility

Lee J. Stanley; 864-867

• View Abstract

Review: Herman Rubin, Jean E. Rubin, Equivalents of the Axiom of Choice, II

David Pincus; 867-869

• View Abstract

[Omnibus Review]

Alain Louveau; 869-870

• View Abstract

Review: Saharon Shelah, Differential Closed Fields

Bruno Poizat; 870-873

• View Abstract

Review: Michael J. O'Donnell, Equational Logic as a Programming Language

Walter Taylor; 873-874

• View Abstract

Review: J. F. A. K. van Benthem, The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Antology and Temporal Discourse

Steven T. Kuhn; 874-876

• View Abstract

Review: Johan van Benthem, Alice ter Meulen, Generalized Quantifiers in Natural Language

Daniele Mundici; 876-878

• View Abstract

Review: M. J. Cresswell, Structured Meanings: The Semantics of Propositional Attitudes

David Israel; 878-882

• View Abstract

Meeting of the Association for Symbolic Logic: Indianapolis

Michael Dunn and Leonard Lipshitz; 883-887

• View Abstract

Open Days in Set Theory and Arithmetic

888-894

• View Abstract

Notices

895-896

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 52, Issue 3 (1987)

• View Abstract