Archive for Mathematical Logic, Volume 40

Volume 40, Number 1, January 2001

Joel David Hamkins:
The Wholeness Axioms and V=HOD. 1-8
Jan von Plato:
A proof of Gentzen's Hauptsatz without multicut. 9-18
Kamila Bendová:
On ordering and multiplication of natural numbers. 19-23
Arthur W. Apter, James Cummings:
Identity crises and strong compactness. 25-38
Francesc Esteva, Lluis Godo, Franco Montagna:
The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. 39-67

Michael C. Laskowski, Saharon Shelah:
The Karp complexity of unstable classes. 69-88
Ulrich Kohlenbach:
A note on Spector's quantifier-free rule of extensionality. 89-92
Heike Mildenberger:
Groupwise dense families. 93-112
Peter A. Fejer, Richard A. Shore:
Every incomplete computably enumerable truth-table degree is branching. 113-123
Matatyahu Rubin, Sabine Koppelberg:
A superatomic Boolean algebra with few automorphisms. 125-129
Athanassios Tzouvaras:
Freiling's axioms of symmetry in a general setting and some applications. 131-145

Alex M. McAllister:
Computability in structures representing a Scott set. 147-165
Birgit Elbl:
Cut elimination for a calculus with context-dependent rules. 167-188
Jean-Louis Krivine:
Typed lambda-calculus in classical Zermelo-Frænkel set theory. 189-205
Michael Rathjen:
The strength of Martin-Löf type theory with a superuniverse. Part II. 207-233
Todd Eisworth:
Near coherence and filter games. 235-242

J. Donald Monk:
The spectrum of partitions of a Boolean algebra. 243-254
Wilfried Buchholz:
Explaining the Gentzen-Takeuti reduction steps: a second-order system. 255-272
Ali Enayat:
Trees and Keislers problem. 273-276
Albert Visser:
Submodels of Kripke models. 277-295
Alexandra Shlapentokh:
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q. 297-328

Rodney G. Downey, Michael R. Fellows:
Index sets and parametric reductions. 329-348
Mohammad Ardeshir, Wim Ruitenburg:
Basic Propositional Calculus II. Interpolation. 349-364
Lars Kristiansen:
Subrecursive degrees and fragments of Peano Arithmetic. 365-397

Zofia Adamowicz, Pawel Zbierski:
On Herbrand consistency in weak arithmetic. 399-413
Steffen Lempp, André Nies, Reed Solomon:
On the filter of computably enumerable supersets of an r-maximal set. 415-423
Sakaé Fuchino, Stefan Geschke, Lajos Soukup:
On the weak Freese-Nation property of ?(omega). 425-435
Josep Maria Font, Ramon Jansana:
Leibniz filters and the strong version of a protoalgebraic logic. 437-465
Esko Turunen:
Boolean deductive systems of BL-algebras. 467-473

Silvio Valentini:
An elementary proof of strong normalization for intersection types. 475-488
Frank Stephan:
On one-sided versus two-sided classification. 489-513
Francis Oger:
Axiomatization of abelian-by-G groups for a finite group G. 515-521
Thierry Coulbois:
The class of groups which have a subgroup of index 2 is not elementary. 523-524
Françoise Point:
On the definability of verbal subgroups. 525-529
Arthur W. Apter, Mirna Dzamonja:
Some remarks on a question of D. H. Fremlin regarding epsilon-density. 531-540
Jan von Plato:
Natural deduction with general elimination rules. 541-567

Kyriakos Keremedis:
Disasters in topology without the axiom of choice. 569-580
P. Creed, J. K. Truss:
On quasi-amorphous sets. 581-596
Marat M. Arslanov, Iskander Sh. Kalimullin, Andrea Sorbi:
Density results in the Delta20 e-degrees. 597-614
Vladimir Kanovei:
A version of the Jensen-Johnsbråten coding at arbitrary level n>= 3. 615-628
George Davie:
Recursive events in random sequences. 629-638
Moti Gitik, Saharon Shelah:
On some configurations related to the Shelah Weak Hypothesis. 639-650
Benedikt Löwe:
Turing cones and set theory of the reals. 651-664