Miscellaneous front pages, J. Symbolic Logic, Volume 64, Issue 2 (1999)

• View Abstract

Anti-Admissible Sets

Jacob Lurie; 407-435

• View Abstract

Some Remarks on the Partition Calculus of Ordinals

Peter Komjath; 436-442

• View Abstract

The Largest Countable Inductive Set is a Mouse Set

Mitch Rudominer; 443-459

• View Abstract

A Jump Operator for Subrecursion Theories

A. J. Heaton; 460-468

• View Abstract

Countable Filters on $\omega$

Otmar Spinas; 469-478

• View Abstract

Cut-Elimination for Simple Type Theory with an Axiom of Choice

G. Mints; 479-485

• View Abstract

Frege's Theorem in a Constructive Setting

John L. Bell; 486-488

• View Abstract

Generalized Cohesiveness

Tamara Hummel and Carl G. Jockusch; 489-516

• View Abstract

Explicit Mathematics with the Monotone Fixed Point Principle. II: Models

Michael Rathjen; 517-550

• View Abstract

On Non-Wellfounded Iterations of the Perfect Set Forcing

Vladimir Kanovei; 551-574

• View Abstract

Universal Classes of Simple Relation Algebras

Steven Givant; 575-589

• View Abstract

$\Pi^1_3$ Sets and $\Pi^1_3$ Singletons

Kai Hauser and W. Hugh Woodin; 590-616

• View Abstract

Tensor Product and Theories of Modules

Mike Prest; 617-628

• View Abstract

Prime E.C. Commutative Rings in Characteristic $n \geq 2$

Dan Saracino; 629-633

• View Abstract

Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C

Tapani Hyttinen and Saharon Shelah; 634-642

• View Abstract

The Cupping Theorem in R/M

Sui Yuefei and Zhang Zaiyue; 643-650

• View Abstract

A Decidable Variety that is Finitely Undecidable

Joohee Jeong; 651-677

• View Abstract

Transfering Saturation, The Finite Cover Property, and Stability

John T. Baldwin, Rami Grossberg and Saharon Shelah; 678-684

• View Abstract

Common Knowledge Logic and Game Logic

Mamoru Kaneko; 685-700

• View Abstract

Unions of Rectifiable Curves in Euclidean Space and the Covering Number of the Meagre Ideal

Juris Steprans; 701-726

• View Abstract

On the Cofinality of Ultrapowers

Andreas Blass and Heike Mildenberger; 727-736

• View Abstract

On a Class of M.A.D. Families

Yi Zhang; 737-746

• View Abstract

Undecidable Relativizations of Algebras of Relations

Szabolcs Mikulas and Maarten Marx; 747-760

• View Abstract

Equations Generiques dans un Groupe Stable Nilpotent

Khaled Jaber; 761-768

• View Abstract

Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics

Jeffry L. Hirst; 769-774

• View Abstract

Generic Expansions of $\omega$-Categorical Structures and Semantics of Generalized Quantifiers

A. A. Ivanov; 775-789

• View Abstract

The Finite Model Property for Various Fragments of Intuitionistic Linear Logic

Mitsuhiro Okada and Kazushige Terui; 790-802

• View Abstract

Stabilite Polynomiale des Corps Differentiels

Natacha Portier; 803-816

• View Abstract

Lascar Strong Types in Some Simple Theories

Steven Buechler; 817-824

• View Abstract

Existentially Closed Models of the Theory of Artinian Local Rings

Hans Schoutens; 825-845

• View Abstract

Interpolation and Preservation for Pebble Logics

Alexandru Baltag; 846-858

• View Abstract

Unification in Intuitionistic Logic

Silvio Ghilardi; 859-880

• View Abstract

Interpolation, Preservation, and Pebble Games

Jon Barwise and Johan van Benthem; 881-903

• View Abstract

Review: Ehud Hrushovski, A New Strongly Minimal Set; Ehud Hrushovski, Strongly Minimal Expansions of Algebraically Closed Fields

John Baldwin; 904-905

• View Abstract

Review: Andreas Baudisch, A New Uncountably Categorical Group

Gregory Cherlin; 905-906

• View Abstract

Review: Anand Pillay, The Geometry of Forking and Groups of Finite Morley Rank

Gregory Cherlin; 906

• View Abstract

Review: Ehud Hrushovski, Boris Zilber, Zariski Geometries

A. Pillay; 906-908

• View Abstract

Review: Ya'acov Peterzil, Sergei Starchenko, A Trichotomy Theorem for O-Minimal Structures

Dugald Macpherson; 908-910

• View Abstract

Review: A. J. Wilkie, Model Completeness Results for Expansions of the Ordered Field of Real Numbers by Restricted Pfaffian Functions and the Exponential Function

Charles Steinhorn; 910-913

• View Abstract

Review: Tomoyuki Yamakami, Polynomial Games and Determinacy

Edward Griffor; 913

• View Abstract

Review: Nicholas Pippenger, Theories of Computability

Hans Huttel; 913-914

• View Abstract

[Omnibus Review]

James S. Royer; 914-916

• View Abstract

Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0; Jon Barwise, John Etchemendy, Hyperproof

Don Fallis; 916-918

• View Abstract

Review: John C. Mitchell, Foundations for Programming Languages

Arnon Avron; 918-922

• View Abstract

Review: Michael D. Resnik, Mathematics as a Science of Patterns

Jody Azzouni; 922-923

• View Abstract

Review: Stewart Shapiro, Philosophy of Mathematics. Structure and Ontology

Geoffrey Hellman; 923-926

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 64, Issue 2 (1999)

• View Abstract