Archive for Mathematical Logic, Volume 40

Volume 40, Number 1, January 2001

• Joel David Hamkins:
  The Wholeness Axioms and V=HOD. 1-8
  Electronic Edition (link) BibTeX
• Jan von Plato:
  A proof of Gentzen's Hauptsatz without multicut. 9-18
  Electronic Edition (link) BibTeX
• Kamila Bendová:
  On ordering and multiplication of natural numbers. 19-23
  Electronic Edition (link) BibTeX
• Arthur W. Apter, James Cummings:
  Identity crises and strong compactness. 25-38
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX

Volume 40, Number 2, February 2001

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

Volume 40, Number 3, April 2001

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

Volume 40, Number 4, May 2001

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

Volume 40, Number 5, July 2001

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

Volume 40, Number 6, August 2001

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

Volume 40, Number 7, October 2001

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

Volume 40, Number 8, November 2001

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