Archive for Mathematical Logic, Volume 46

Volume 46, Number 1, January 2007

• Radosav Djordjevic, Nebojsa Ikodinovic, Zarko Mijajlovic:
  Completeness theorem for topological class models. 1-8
  Electronic Edition (link) BibTeX
• Morteza Moniri:
  Preservation theorems for bounded formulas. 9-14
  Electronic Edition (link) BibTeX
• Keita Yokoyama:
  Complex analysis in subsystems of second order arithmetic. 15-35
  Electronic Edition (link) BibTeX
• Thomas E. Forster, J. K. Truss:
  Ramsey's theorem and König's Lemma. 37-42
  Electronic Edition (link) BibTeX
• A. R. D. Mathias:
  A note on the schemes of replacement and collection. 43-50
  Electronic Edition (link) BibTeX

Volume 46, Number 2, February 2007

• Byunghan Kim, Niandong Shi:
  A note on weak dividing. 51-60
  Electronic Edition (link) BibTeX
• Paul Corazza:
  Lifting elementary embeddings j: V_lambda -> V_lambda. 61-72
  Electronic Edition (link) BibTeX
• Emil Jerábek:
  Complexity of admissible rules. 73-92
  Electronic Edition (link) BibTeX
• Martin Hils:
  Semifree actions of free groups. 93-105
  Electronic Edition (link) BibTeX
• John Allsup, Richard Kaye:
  Normal subgroups of nonstandard symmetric and alternating groups. 107-121
  Electronic Edition (link) BibTeX
• Pascal Michel:
  Computational complexity of logical theories of one successor and another unary function. 123-148
  Electronic Edition (link) BibTeX
• Douglas S. Bridges:
  Constructing local optima on a compact interval. 149-154
  Electronic Edition (link) BibTeX

Volume 46, Numbers 3-4, April 2007

• Arthur W. Apter:
  Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness. 155-163
  Electronic Edition (link) BibTeX
• Haci Aktas, Naim Çagman:
  A type of fuzzy ring. 165-177
  Electronic Edition (link) BibTeX
• Andrzej Roslanowski, Saharon Shelah:
  Universal forcing notions and ideals. 179-196
  Electronic Edition (link) BibTeX
• Daniel W. Cunningham:
  A covering lemma for K(\mathbb R). 197-221
  Electronic Edition (link) BibTeX
• John Krueger:
  Radin forcing and its iterations. 223-252
  Electronic Edition (link) BibTeX
• Kazushige Terui:
  Light affine lambda calculus and polynomial time strong normalization. 253-280
  Electronic Edition (link) BibTeX
• Shunsuke Yatabe:
  Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic. 281-287
  Electronic Edition (link) BibTeX
• Alexander Berenstein:
  Hilbert spaces with generic groups of automorphisms. 289-299
  Electronic Edition (link) BibTeX
• Tommaso Flaminio:
  NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach. 301-319
  Electronic Edition (link) BibTeX
• Wei Wang, Decheng Ding:
  On the definable ideal generated by the plus cupping c.e. degrees. 321-346
  Electronic Edition (link) BibTeX

Volume 46, Numbers 5-6, July 2007

• Petr Cintula, George Metcalfe:
  Normal forms for fuzzy logics: a proof-theoretic approach. 347-363
  Electronic Edition (link) BibTeX
• Michael C. Laskowski, Shirin Malekpour:
  Provability in predicate product logic. 365-378
  Electronic Edition (link) BibTeX
• Thomas G. McLaughlin:
  Delta₁ Ultrapowers are totally rigid. 379-384
  Electronic Edition (link) BibTeX
• Pierluigi Minari:
  Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. 385-424
  Electronic Edition (link) BibTeX
• Dov M. Gabbay, George Metcalfe:
  Fuzzy logics based on [0, 1)-continuous uninorms. 425-449
  Electronic Edition (link) BibTeX
• Moti Gitik, Itay Neeman, Dima Sinapova:
  A cardinal preserving extension making the set of points of countable V cofinality nonstationary. 451-456
  Electronic Edition (link) BibTeX
• Assaf Rinot:
  Antichains in partially ordered sets of singular cofinality. 457-464
  Electronic Edition (link) BibTeX
• Nobuyuki Sakamoto, Keita Yokoyama:
  The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. 465-480
  Electronic Edition (link) BibTeX
• Vincent Astier:
  On some sheaves of special groups. 481-488
  Electronic Edition (link) BibTeX
• Satoru Kuroda:
  Generalized quantifier and a bounded arithmetic theory for LOGCFL. 489-516
  Electronic Edition (link) BibTeX
• Predrag Tanovic:
  Theories with constants and three countable models. 517-527
  Electronic Edition (link) BibTeX

Volume 46, Number 7-8, May 2008

• Douglas A. Cenzer, Rebecca Weber:
  Preface. 529-531
  Electronic Edition (link) BibTeX
• George Barmpalias, Paul Brodhead, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber:
  Algorithmic randomness of continuous functions. 533-546
  Electronic Edition (link) BibTeX
• Vasco Brattka:
  Borel complexity and computability of the Hahn-Banach Theorem. 547-564
  Electronic Edition (link) BibTeX
• Paul Brodhead, Douglas A. Cenzer:
  Effectively closed sets and enumerations. 565-582
  Electronic Edition (link) BibTeX
• Josef Berger, Douglas S. Bridges:
  The anti-Specker property, a Heine-Borel property, and uniform continuity. 583-592
  Electronic Edition (link) BibTeX
• Manuel Lameiras Campagnolo, Kerry Ojakian:
  The elementary computable functions over the real numbers: applying two new techniques. 593-627
  Electronic Edition (link) BibTeX
• Douglas A. Cenzer, Peter G. Hinman:
  Degrees of difficulty of generalized r.e. separating classes. 629-647
  Electronic Edition (link) BibTeX
• Joshua A. Cole:
  Embedding FD(omega) into P_s densely. 649-664
  Electronic Edition (link) BibTeX
• Johanna N. Y. Franklin:
  Schnorr trivial reals: a construction. 665-678
  Electronic Edition (link) BibTeX
• Iraj Kalantari, Larry Welch:
  On degree-preserving homeomorphisms between trees in computable topology. 679-693
  Electronic Edition (link) BibTeX