Volume 40, Number 1, January 2001
Volume 40, Number 2, February 2001
Volume 40, Number 3, April 2001
- 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

Volume 40, Number 4, May 2001
- 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

Volume 40, Number 5, July 2001
Volume 40, Number 6, August 2001
Volume 40, Number 7, October 2001
- 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

Volume 40, Number 8, November 2001
Last update Thu May 23 18:15:28 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page