Volume 44, Number 1, January 2005

• 
  Michael Rathjen: An ordinal analysis of stability. 1-62
• 
  Saharon Shelah, Jouko A. Väänänen: A note on extensions of infinitary logic. 63-69
• 
  James Cummings, Ernest Schimmerling: Diamond and antichains. 71-76
• 
  Vincent Astier, Marcus Tressl: Axiomatization of local-global principles for pp-formulas in spaces of orderings. 77-95
• 
  Franco Montagna: On the predicate logics of continuous t-norm BL-algebras. 97-114
• 
  Silvio Valentini: The problem of the formalization of constructive topology. 115-129

Volume 44, Number 2, February 2005

• 
  Michael Hrusák, M. Sanchis, Á. Tamariz-Mascarúa: Ultrafilters, monotone functions and pseudocompactness. 131-157
• 
  Thoralf Räsch, Ralf Schindler: A new condensation principle. 159-166
• 
  Roberto Maieli, Quintijn Puite: Modularity of proof-nets. 167-193
• 
  Neil Thapen, Michael Soltys: Weak theories of linear algebra. 195-208
• 
  Dieter Spreen: Strong reducibility of partial numberings. 209-217
• 
  M. Victoria Marshall, M. Gloria Schwarze: Labelling classes by sets. 219-226
• 
  Geoffrey LaForte: Isolation in the CEA hierarchy. 227-244
• 
  Tommaso Flaminio, Franco Montagna: A logical and algebraic treatment of conditional probability. 245-262

Volume 44, Number 3, April 2005

• 
  Michael Rathjen: An ordinal analysis of parameter free Pi¹₂-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

• 
  Saharon Shelah: Middle diamond. 527-560
• 
  Dieter Probst: On the relationship between fixed points and iteration in admissible set theory without foundation. 561-580
• 
  Paul Larson: Saturation, Suslin trees and meager sets. 581-595
• 
  Todd Eisworth, Saharon Shelah: Successors of singular cardinals and coloring theorems I. 597-618
• 
  Yoshihiro Abe: Notes on subtlety and ineffability in P_kappalambda. 619-631
• 
  Philipp Gerhardy, Ulrich Kohlenbach: Extracting Herbrand disjunctions by functional interpretation. 633-644
• 
  Athanassios Tzouvaras: Forcing and antifoundation. 645-661
• 
  Athanassios Tzouvaras: Erratum: "Forcing and antifoundation". 663

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 A. Cook, Tsuyoshi Morioka: Quantified propositional calculus and a second-order theory for NC¹. 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

• 
  Nikolaos Efstathiou Sofronidis: Turbulence Phenomena in Real Analysis. 801-815
• 
  Paul B. Larson: The canonical function game. 817-827
• 
  Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara: Sufficient triangular norms in many-valued logics with standard negation. 829-849
• 
  Eugenio Chinchilla: Models of replacement schemes. 851-867
• 
  Carles Noguera, Francesc Esteva, Joan Gispert: Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. 869-886
• 
  Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Strong continuity implies uniform sequential continuity. 887-895
• 
  Steffen Lewitzka, Ruy J. G. B. de Queiroz: On dividing chains in simple theories. 897-911
• 
  Thomas Vetterlein: Partial algebras for Lukasiewicz logics and its extensions. 913-933

Volume 44, Number 8, November 2005

• 
  Gunter Fuchs: A Characterization of Generalized Príkrý Sequences. 935-971
• 
  Jordan Zashev: Diagonal fixed points in algebraic recursion theory. 973-994
• 
  Antonio di Nola, Philippe Niederkorn: Natural dualities for varieties of BL-algebras. 995-1007
• 
  Tatsuo Arai: Epsilon substitution method for [Pi⁰₁, Pi⁰₁]-FIX. 1009-1043
• 
  George Barmpalias: Hypersimplicity and semicomputability in the weak truth table degrees. 1045-1065

last updated on Mon May 20 02:48:51 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page