Miscellaneous front pages, J. Symbolic Logic, Volume 49, Issue 3 (1984)

• View Abstract

Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy

Jean-Yves Girard and Jacqueline Vauzeilles; 713-729

• View Abstract

An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions

Jan Smith; 730-753

• View Abstract

Self-Reference with Negative Types

A. P. Hiller and J. Zimbarg; 754-773

• View Abstract

Monotone Reducibility and the Family of Infinite Sets

Douglas Cenzer; 774-782

• View Abstract

Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?

Stephen G. Simpson; 783-802

• View Abstract

Deux Remarques a Propos de la Propriete de Recouvrement Fini

Bruno Poizat; 803-807

• View Abstract

Strongly Compact Cardinals, Elementary Embeddings and Fixed Points

Yoshihiro Abe; 808-812

• View Abstract

Idempotent Ideals on Abelian Groups

Andrzej Pelc; 813-817

• View Abstract

Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets

J. P. Jones and Y. V. Matijasevic; 818-829

• View Abstract

C. C. C. Forcing without Combinatorics

Alan H. Mekler; 830-832

• View Abstract

Complexity of $\kappa$-Ultrafilters and Inner Models with Measurable Cardinals

Claude Sureson; 833-841

• View Abstract

An Undecidable Problem in Finite Combinatorics

Kevin J. Compton; 842-850

• View Abstract

Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory

Gaisi Takeuti and Satoko Titani; 851-866

• View Abstract

The Strength of Admissibility Without Foundation

Gerhard Jager; 867-879

• View Abstract

Regular Types in Nonmultidimensional $\omega$-Stable Theories

Anand Pillay; 880-891

• View Abstract

On the Period of Sequences $(A^n(p))$ in Intuitionistic Propositional Calculus

Wim Ruitenburg; 892-899

• View Abstract

Characteristically Simple $\aleph_0$-Categorical Groups

Robert H. Gilman; 900-907

• View Abstract

On Choice Sequences Determined by Spreads

Gerrit van der Hoeven and Ieke Moerdijk; 908-916

• View Abstract

Inconsistent Models for Relevant Arithmetics

Robert K. Meyer and Chris Mortensen; 917-929

• View Abstract

Kueker's Conjecture for Superstable Theories

Steven Buechler; 930-934

• View Abstract

On Modal Systems Having Arithmetical Interpretations

Arnon Avron; 935-942

• View Abstract

On Supervaluations in Free Logic

Peter W. Woodruff; 943-950

• View Abstract

Some Undecidability Results in Strong Algebraic Languages

Cornelia Kalfa; 951-954

• View Abstract

Some Remarks on Initial Segments in Models of Peano Arithmetic

Henryk Kotlarski; 955-960

• View Abstract

Accessible Sets and $(L_{\omega_1\omega})_t$-Equivalence for $T_3$ Spaces

Juan Carlos Martinez; 961-967

• View Abstract

Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic

Daniel Lascar; 968-971

• View Abstract

Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic; J. R. Shoenfield, B.1. Axioms of Set Theory

Akihiro Kanamori; 971-975

• View Abstract

Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic

Sy D. Friedman; 975-980

• View Abstract

Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic

W. A. Howard; 980-988

• View Abstract

Review: Oliver Aberth, Computable Analysis

C. Ward Henson; 988-989

• View Abstract

Review: Harry R. Lewis, Christos H. Papadimitriou, Elements of the Theory of Computation

Jean H. Gallier; 989-990

• View Abstract

Review: B. Courcelle, B. Domolki, T. Gergely, Equational Theories and Equivalences of Programs; J. W. de Bakker, J. I. Zucker, Derivatives of Programs; E. Engeler, An Algorithmic Model of Strict Finitism

Steven S. Muchnick; 990-991

• View Abstract

Review: Hans Kamp, Uwe Monnich, The Paradox of the Heap

Kenton F. Machina; 991-993

• View Abstract

Review: Krister Segerberg, Classical Propositional Operators. An Exercise in the Foundations of Logic

Richard Fleming; 993-994

• View Abstract

Review: B. J. Copeland, On When a Semantics is not a Semantics: Some Reasons for Disliking the Routley-Meyer Semantics for Relevance Logic

Johan van Benthem; 994-995

• View Abstract

Review: Charles Chihara, The Semantic Paradoxes: A Diagnostic Investigation; Tyler Burge, Semantical Paradox

Arnold Silverberg; 995-996

• View Abstract

Review: Charles Jarrett, The Logical Structure of Spinoza's Ethics, Part I

Jonathan Bennett and Peter van Inwagen; 996-997

• View Abstract

Review: Joel I. Friedman, Was Spinoza Fooled by the Ontological Argument?

Jonathan Bennett and Peter van Inwagen; 997-998

• View Abstract

Notices

999-1000

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 49, Issue 3 (1984)

• View Abstract