Miscellaneous front pages, J. Symbolic Logic, Volume 65, Issue 2 (2000)

• View Abstract

An Abstract Algebraic Logic Approach to Tetravalent Modal Logics

Josep Maria Font and Miquel Rius; 481-518

• View Abstract

The Hahn Representation Theorem for $\ell$-Groups in ZFA

D. Gluschankof; 519-524

• View Abstract

A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory

Peter Dybjer; 525-549

• View Abstract

Maharam Spectra of Loeb Spaces

Renling Jin and H. Jerome Keisler; 550-566

• View Abstract

Infinite Time Turing Machines

Joel David Hamkins and Andy Lewis; 567-604

• View Abstract

Belief Contraction as Nonmonotonic Inference

Alexander Bochman; 605-626

• View Abstract

Yet Another Hierarchy Theorem

Max Kubierschky; 627-640

• View Abstract

Weakly Algebraizable Logics

Janusz Czelakowski and Ramon Jansana; 641-668

• View Abstract

Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic

Petr Hajek, Jeff Paris and John Shepherdson; 669-682

• View Abstract

The Real Line in Elementary Submodels of Set Theory

Kenneth Kunen and Franklin D. Tall; 683-691

• View Abstract

A Note on the Model Theory of Generalized Polygons

Katrin Tent; 692-702

• View Abstract

Liftez Les Sylows! Une Suite a "Sous-Groupes Periodiques d'un Groupe Stable"

Bruno Poizat and Frank O. Wagner; 703-704

• View Abstract

Paires Elementaires de Corps Pseudo-Finis: Denombrement des Completions (Elementary Pairs of Pseudo-Finite Fields: Counting Completions)

Helene Lejeune; 705-718

• View Abstract

New Techniques and Completeness Results for Preferential Structures

Karl Schlechta; 719-746

• View Abstract

Killing Ideals and Adding Reals

Jindrich Zapletal; 747-755

• View Abstract

Subprevarieties Versus Extensions. Application to the Logic of Paradox

Alexej P. Pynko; 756-766

• View Abstract

Supersimple $\omega$-Categorical Groups and Theories

David M. Evans and Frank O. Wagner; 767-776

• View Abstract

On Fixed-Point Logic with Counting

Jorg Flum and Martin Grohe; 777-787

• View Abstract

Implicational F-Structures and Implicational Relevance Logics

A. Avron; 788-802

• View Abstract

After All, There are Some Inequalities which are Provable in ZFC

Tomek Bartoszynski, Andrzej Roslanowski and Saharon Shelah; 803-816

• View Abstract

A Note on Uniform Definability and Minimal Fields of Definition

Rahim Moosa; 817-821

• View Abstract

Expressivity in Polygonal, Plane Mereotopology

Ian Pratt and Dominik Schoop; 822-838

• View Abstract

Categorical Quasivarieties via Morita Equivalence

Keith A. Kearnes; 839-856

• View Abstract

A Completeness Theorem for Higher Order Logics

Gabor Sagi; 857-884

• View Abstract

The Model Theory of Differential Fields with Finitely Many Commuting Derivations

Tracey McGrail; 885-913

• View Abstract

Closures in $\aleph_0$-Categorical Bilinear Maps

Andreas Baudisch; 914-922

• View Abstract

On Axiomatising Products of Kripke Frames

Agnes Kurucz; 923-945

• View Abstract

Definability and Undefinability with Real Order at the Background

Yuri Gurevich and Alexander Rabinovich; 946-958

• View Abstract

Dualization of the Van Douwen Diagram

Jacek Cichon, Adam Krawczyk, Barbara Majcher-Iwanow and Bogdan Weglorz; 959-968

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 65, Issue 2 (2000)

• View Abstract