Archive for Mathematical Logic, Volume 44

Volume 44, Number 1, January 2005

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

Volume 44, Number 2, February 2005

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

Volume 44, Number 3, April 2005

• Michael Rathjen:
  An ordinal analysis of parameter free Pi¹₂-comprehension. 263-362
  Electronic Edition (link) BibTeX
• Ali Enayat:
  Models of set theory with definable ordinals. 363-385
  Electronic Edition (link) BibTeX
• Arthur W. Apter:
  Diamond, square, and level by level equivalence. 387-395
  Electronic Edition (link) BibTeX

Volume 44, Number 4, May 2005

• Henry Towsner:
  Epsilon substitution for transfinite induction. 397-412
  Electronic Edition (link) BibTeX
• Rostislav Horcík:
  Standard completeness theorem for PiMTL. 413-424
  Electronic Edition (link) BibTeX
• Arnold W. Miller:
  The gamma-borel conjecture. 425-434
  Electronic Edition (link) BibTeX
• Agata Ciabattoni:
  A proof-theoretical investigation of global intuitionistic (fuzzy) logic. 435-457
  Electronic Edition (link) BibTeX
• R. E. Hodel:
  Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem. 459-472
  Electronic Edition (link) BibTeX
• George Voutsadakis:
  Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. 473-491
  Electronic Edition (link) BibTeX
• Arthur W. Apter:
  On a problem of Foreman and Magidor. 493-498
  Electronic Edition (link) BibTeX
• Milos S. Kurilic:
  Mad families, forcing and the Suslin Hypothesis. 499-512
  Electronic Edition (link) BibTeX
• Hiroaki Minami:
  Diamond principles in Cichon's diagram. 513-526
  Electronic Edition (link) BibTeX

Volume 44, Number 5, July 2005

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

Volume 44, Number 6, August 2005

• Preface. 665-666
  Electronic Edition (link) BibTeX
• Jan Krajícek:
  Hardness assumptions in the foundations of theoretical computer science. 667-675
  Electronic Edition (link) BibTeX
• Teruyuki Yorioka:
  The diamond principle for the uniformity of the meager ideal implies the existence of a destructible gap. 677-683
  Electronic Edition (link) BibTeX
• Masahiro Yasumoto:
  Separations of first and second order theories in bounded arithmetic. 685-688
  Electronic Edition (link) BibTeX
• Osamu Takaki:
  Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM. 689-709
  Electronic Edition (link) BibTeX
• Stephen Cook, Tsuyoshi Morioka:
  Quantified propositional calculus and a second-order theory for NC¹. 711-749
  Electronic Edition (link) BibTeX
• Toshio Suzuki:
  Bounded truth table does not reduce the one-query tautologies to a random oracle. 751-762
  Electronic Edition (link) BibTeX
• Petr Hájek:
  On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. 763-782
  Electronic Edition (link) BibTeX
• Grigori Mints, Ting Zhang:
  Propositional logic of continuous transformations in Cantor space. 783-799
  Electronic Edition (link) BibTeX

Volume 44, Number 7, October 2005

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

Volume 44, Number 8, November 2005

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