Miscellaneous front pages, J. Symbolic Logic, Volume 57, Issue 3 (1992)

• View Abstract

Filters on the Space of Partitions $Q_\kappa(\lambda)$

Gisela M. Mendez; 769-778

• View Abstract

A Structure Theorem for Semibounded Sets in the Reals

Ya'acov Peterzil; 779-794

• View Abstract

Contraction-Free Sequent Calculi for Intuitionistic Logic

Roy Dyckhoff; 795-807

• View Abstract

Equivalence Elementaire et Isomorphisme des Corps de Courbe sur un Corps Algebriquement Clos

Jean-Louis Duret; 808-823

• View Abstract

Whither Relevant Arithmetic?

Harvey Friedman and Robert K. Meyer; 824-831

• View Abstract

Non-Finite-Axiomatizability Results in Algebraic Logic

Balazs Biro; 832-843

• View Abstract

Polynomially and Superexponentially Shorter Proofs in Fragments of Arithmetic

Franco Montagna; 844-863

• View Abstract

The Theory of the Recursively Enumerable Weak Truth-Table Degrees is Undecidable

Klaus Ambos-Spies, Andre Nies and Richard A. Shore; 864-874

• View Abstract

Nonexistence of Universal Orders in Many Cardinals

Menachem Kojman and Saharon Shelah; 875-891

• View Abstract

Recursion Theory in a Lower Semilattice

Alex Feldman; 892-911

• View Abstract

Rules of Inference with Parameters for Intuitionistic Logic

Vladimir V. Rybakov; 912-923

• View Abstract

A Characterization of $\mathbf{ML}$ in Many-Sorted Arithmetic with Conditional Application

M. D. G. Swaen; 924-953

• View Abstract

A Proof-Theoretic Characterization of the Primitive Recursive Set Functions

Michael Rathjen; 954-969

• View Abstract

Saturated Ideals and the Singular Cardinal Hypothesis

Yo Matsubara; 970-974

• View Abstract

The Isomorphism Property Versus the Special Model Axiom

Renling Jin; 975-987

• View Abstract

On Decidable Varieties of Heyting Algebras

Devdatt P. Dubhashi; 988-991

• View Abstract

Countable Structures of Given Age

H. D. MacPherson, M. Pouzet and R. E. Woodrow; 992-1010

• View Abstract

A Theorem on the Isomorphism Property

Renling Jin; 1011-1017

• View Abstract

What is an Inference Rule?

Ronald Fagin, Joseph Y. Halpern and Moshe Y. Vardi; 1018-1045

• View Abstract

1-Reducibility Inside an $m$-Degree with Maximal Set

E. Hermann; 1046-1056

• View Abstract

Prime Numbers and Factorization in $\mathrm{IE}_1$ and Weaker Systems

Stuart T. Smith; 1057-1085

• View Abstract

Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing

Avner Landver; 1086-1107

• View Abstract

About the Proof-Theoretic Ordinals of Weak Fixed Point Theories

Gerhard Jager and Barbara Primo; 1108-1119

• View Abstract

The Existential Theory of the Poset of R.E. Degrees with a Predicate for Single Jump Reducibility

Steffen Lempp and Manuel Lerman; 1120-1130

• View Abstract

Review: M. Foreman, M. Magidor, S. Shelah, Martin's Maximum, Saturated Ideals, and Non-Regular Ultrafilters. Part I

Boban Velickovic; 1131-1132

• View Abstract

Review: Donald A. Martin, John R. Steel, Projective Determinacy; W. Hugh Woodin, Supercompact Cardinals, Sets of Reals, and Weakly Homogeneous Trees; Donald A. Martin, John R. Steel, A Proof of Projective Determinacy

Matthew D. Foreman; 1132-1136

• View Abstract

Review: Sy D. Friedman, The $\Pi^1_2$-Singleton Conjecture

M. C. Stanley; 1136-1137

• View Abstract

Review: Johan van Benthem, The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

Steven T. Kuhn; 1137-1138

• View Abstract

Review: Lothar Kreiser, Nichtklassiche Logik, Eine Einfuhrung

P. H. Schmitt; 1138-1140

• View Abstract

Review: Leo Bachmair, Canonical Equational Proofs

John Pedersen; 1140-1141

• View Abstract

Review: Ketan Mulmuley, Full Abstraction and Semantic Equivalence

P.-L. Curien; 1141-1143

• View Abstract

Review: Michael Moortgat, Categorical Investigations. Logical and Linguistic Aspects of the Lambek Calculus

J. Lambek; 1143-1146

• View Abstract

Review: Edward N. Zalta, Intensional Logic and the Metaphysics of Intentionality

Christopher Menzel; 1146-1150

• View Abstract

Notices

1151-1152

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 57, Issue 3 (1992)

• View Abstract