Volume Information

• View Abstract

Miscellaneous front pages, J. Symbolic Logic, Volume 59, Issue 4 (1994)

• View Abstract

Boolean Algebras, Stone Spaces, and the Iterated Turing Jump

Carl G. Jockusch and Robert I. Soare; 1121-1138

• View Abstract

On First-Order Theories with Provability Operator

Sergei Artemov and Franco Montagna; 1139-1153

• View Abstract

A Modified Sentence Unprovable in $\mathbf{PA}$

L. Gordeev; 1154-1157

• View Abstract

The Consistency Strength of an Infinitary Ramsey Property

George Kafkoulis; 1158-1195

• View Abstract

Possible Behaviours for the Mitchell Ordering II

James Cummings; 1196-1209

• View Abstract

Strictly Primitive Recursive Realizability, I

Zlatan Damnjanovic; 1210-1227

• View Abstract

The Critical Number of a Variable in a Function

Gaisi Takeuti; 1228-1244

• View Abstract

A Partial Model of $\mathbf{NF}$ with E

N. Prati; 1245-1253

• View Abstract

Hereditary Undecidability of Some Theories of Finite Structures

Ross Willard; 1254-1262

• View Abstract

Subformula Property in Many-Valued Modal Logics

Mitio Takano; 1263-1273

• View Abstract

Grzegorcyk's Hierarchy and $Iep\Sigma_1$

Gaisi Takeuti; 1274-1284

• View Abstract

On the Number of Models of Uncountable Theories

Ambar Chowdhury and Anand Pillay; 1285-1300

• View Abstract

Effective Versions of Ramsey's Theorem: Avoiding the Cone Above $\mathbf{0}$'

Tamara Lakins Hummel; 1301-1325

• View Abstract

Initial Segments of the Lattice of Ideals of R.E. Degrees

Frank P. Weber; 1326-1350

• View Abstract

Scott Heights of Abelian Groups

Mark E. Nadel; 1351-1359

• View Abstract

Embedding Lattices into the $wtt$-Degrees Below 0'

Rod Downey and Christine Haught; 1360-1382

• View Abstract

Mixed Systems

C. J. Ash and J. F. Knight; 1383-1399

• View Abstract

Definability of Types, and Pairs of O-Minimal Structures

Anand Pillay; 1400-1409

• View Abstract

On Countable Fractions from an Elementary Class

C. J. Ash; 1410-1413

• View Abstract

On the Incompleteness Theorems

Henryk Kotlarski; 1414-1419

• View Abstract

Characterising Subsets of $\omega_1$ Constructible from a Real

P. D. Welch; 1420-1432

• View Abstract

Review: Michiel Van Lambalgen, Independence, Randomness and the Axiom of Choice

John C. Simms; 1433-1434

• View Abstract

Review: Boris Trakhtenbrot, Comparing the Church and Turing Approaches: Two Prophetical Messages

Giuseppe Longo; 1434-1436

• View Abstract

Review: Jose Luis Balcazar, Joseph Diaz, Joaquim Gabarro, Structural Complexity I; Jose Luis Balcazar, Josep Diaz, Joaquim Gabarro, Structural Complexity II

Eric Allender; 1436-1437

• View Abstract

Review: Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle, Automated Reasoning. Introduction and Applications

Natarajan Shankar; 1437-1439

• View Abstract

Review: Gerard Huet, Logical Foundations of Functional Programming

Karl Meinke; 1439-1441

• View Abstract

Review: Keith Devlin, The Joy of Sets. Fundamentals of Contemporary Set Theory

H. B. Enderton; 1441-1442

• View Abstract

1993 Annual Meeting of the Australasian Association for Logic, Adelaide, Australia, July 9-11, 1993

Martin Bunder; 1443-1449

• View Abstract

Association for Symbolic Logic

1450-1491

• View Abstract

Notices

1493-1496

• View Abstract

Errata

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 59, Issue 4 (1994)

• View Abstract