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

• View Abstract

Questions of Decidability and Undecidability in Number Theory

B. Mazur; 353-371

• View Abstract

Extensions of Hilbert's Tenth Problem

Thanases Pheidas; 372-397

• View Abstract

Undecidable Semiassociative Relation Algebras

Roger D. Maddux; 398-418

• View Abstract

Interpolation in Fragments of Classical Linear Logic

Dirk Roorda; 419-444

• View Abstract

Extender Based Forcings

Moti Gitik and Menachem Magidor; 445-460

• View Abstract

Natural Internal Forcing Schemata Extending ZFC: Truth in the Universe?

Garvin Melles; 461-472

• View Abstract

About Some Symmetries of Negation

Brigitte Hosli and Gerhard Jager; 473-485

• View Abstract

Machine Learning of Higher-Order Programs

Ganesh Baliga, John Case, Sanjay Jain and Mandayam Suraj; 486-500

• View Abstract

Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory

Othman Qasim Malhas; 501-515

• View Abstract

Minimal Upper Bounds for Arithmetical Degrees

Masahiro Kumabe; 516-528

• View Abstract

Normality of a Filter Over a Space of Partitions

Mark Fuller; 529-533

• View Abstract

A Class of Connected Theories of Order

Alan S. Stern and Stanislaw S. Swierczkowski; 534-542

• View Abstract

Games and Full Completeness for Multiplicative Linear Logic

Samson Abramsky and Radha Jagadeesan; 543-574

• View Abstract

A Note on Defining Groups in Stable Structures

Frank O. Wagner; 575-578

• View Abstract

On One-Based Theories

E. Bouscaren and E. Hrushovski; 579-595

• View Abstract

A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic

Daniele Mundici; 596-602

• View Abstract

Meager Nowhere-Dense Games (IV): $n$-Tactics

Marion Scheepers; 603-605

• View Abstract

The Genericity Conjecture

Sy D. Friedman; 606-614

• View Abstract

Full Reflection at a Measurable Cardinal

Thomas Jech and Jiri Witzany; 615-630

• View Abstract

The Lattice of Varieties of Representable Relation Algebras

Hajnal Andreka, Steven Givant and Istvan Nemeti; 631-661

• View Abstract

Ideals of Nowhere Ramsey Sets are Isomorphic

Szymon Plewik; 662-667

• View Abstract

Review: Moti Gitik, Regular Cardinals in Models of $ZF$

Thomas Jech; 668

• View Abstract

Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis

Helmut Pfeiffer; 668-670

• View Abstract

Review: Jean E. Rubin, Mathematical Logic: Applications and Theory

Walter Felscher; 670-671

• View Abstract

Review: Wolfgang Balzer, C. Ulises Moulines, Joseph D. Sneed, An Architectonic for Science. The Structuralist Program

N. C. A. da Costa; 671-673

• View Abstract

Review: Edsger W. Dijkstra, Carel S. Scholten, Predicate Calculus and Program Semantics

Egon Borger; 673-678

• View Abstract

Review: Andrea Nye, Words of Power. A Feminist Reading of the History of Logic

Joan Weiner; 678-681

• View Abstract

IX Latin American Symposium on Mathematical Logic: Bahia Blanca, 1992

682-695

• View Abstract

Annual Meeting of the Association for Symbolic Logic: Notre Dame, 1993

Steven Buechler; 696-719

• View Abstract

Winter Meeting of the Association for Symbolic Logic: San Antonio, 1993

Steffen Lempp; 720-729

• View Abstract

The Fifth Asian Logic Conference: Singapore, June 14-17, 1993

Chi Tat Chong; 730-732

• View Abstract

Notices: The Bulletin of Symbolic Logic: Call for Papers

733-735

• View Abstract

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

• View Abstract