Volume 44,
Number 1,
January 2005
Volume 44,
Number 2,
February 2005
Volume 44,
Number 3,
April 2005
- Michael Rathjen:
An ordinal analysis of parameter free Pi12-comprehension.
263-362
- Ali Enayat:
Models of set theory with definable ordinals.
363-385
- Arthur W. Apter:
Diamond, square, and level by level equivalence.
387-395
Volume 44,
Number 4,
May 2005
- Henry Towsner:
Epsilon substitution for transfinite induction.
397-412
- Rostislav Horcík:
Standard completeness theorem for PiMTL.
413-424
- Arnold W. Miller:
The gamma-borel conjecture.
425-434
- Agata Ciabattoni:
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.
435-457
- R. E. Hodel:
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem.
459-472
- George Voutsadakis:
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.
473-491
- Arthur W. Apter:
On a problem of Foreman and Magidor.
493-498
- Milos S. Kurilic:
Mad families, forcing and the Suslin Hypothesis.
499-512
- Hiroaki Minami:
Diamond principles in Cichon's diagram.
513-526
Volume 44,
Number 5,
July 2005
Volume 44,
Number 6,
August 2005
- Preface.
665-666
- Jan Krajícek:
Hardness assumptions in the foundations of theoretical computer science.
667-675
- Teruyuki Yorioka:
The diamond principle for the uniformity of the meager ideal implies the existence of a destructible gap.
677-683
- Masahiro Yasumoto:
Separations of first and second order theories in bounded arithmetic.
685-688
- Osamu Takaki:
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM.
689-709
- Stephen Cook, Tsuyoshi Morioka:
Quantified propositional calculus and a second-order theory for NC1.
711-749
- Toshio Suzuki:
Bounded truth table does not reduce the one-query tautologies to a random oracle.
751-762
- Petr Hájek:
On arithmetic in the Cantor- Lukasiewicz fuzzy set theory.
763-782
- Grigori Mints, Ting Zhang:
Propositional logic of continuous transformations in Cantor space.
783-799
Volume 44,
Number 7,
October 2005
Volume 44,
Number 8,
November 2005
Copyright © Mon Mar 15 03:57:28 2010
by Michael Ley (ley@uni-trier.de)