Volume 52, Issue 1-2, February 2013

ISSN: 0933-5846 (Print) 1432-0665 (Online)

From volume 1 to 26 this journal was published as Archiv für mathematische Logik und Grundlagenforschung.

In this issue (12 articles)

  1. No Access

    OriginalPaper

    On elementary equivalence in fuzzy predicate logics

    Pilar Dellunde, Francesc Esteva Pages 1-17
    Look Inside Get Access

  2. No Access

    OriginalPaper

    A saturation property of structures obtained by forcing with a compact family of random variables

    Jan Krajíček Pages 19-28
    Look Inside Get Access

  3. No Access

    OriginalPaper

    Chang’s Conjecture and weak square

    Hiroshi Sakai Pages 29-45
    Look Inside Get Access

  4. No Access

    OriginalPaper

    Club degrees of rigidity and almost Kurepa trees

    Gunter Fuchs Pages 47-66
    Look Inside Get Access

  5. No Access

    OriginalPaper

    A characterization of ${\square(\kappa^{+})}$ in extender models

    Kyriakos Kypriotakis, Martin Zeman Pages 67-90
    Look Inside Get Access

  6. No Access

    OriginalPaper

    Effective algebraicity

    Rebecca M. Steiner Pages 91-112
    Look Inside Get Access

  7. No Access

    OriginalPaper

    Non-deterministic inductive definitions

    Benno van den Berg Pages 113-135
    Look Inside Get Access

  8. No Access

    OriginalPaper

    Antibasis theorems for ${\Pi^0_1}$ classes and the jump hierarchy

    Ahmet Çevik Pages 137-142
    Look Inside Get Access

  9. No Access

    OriginalPaper

    Real closures of models of weak arithmetic

    Emil Jeřábek, Leszek Aleksander Kołodziejczyk Pages 143-157
    Look Inside Get Access

  10. No Access

    OriginalPaper

    Quelques réflexions inévitables

    Frank O. Wagner Pages 159-171
    Look Inside Get Access

  11. No Access

    OriginalPaper

    The taming of recurrences in computability logic through cirquent calculus, Part I

    Giorgi Japaridze Pages 173-212
    Look Inside Get Access

  12. No Access

    OriginalPaper

    The taming of recurrences in computability logic through cirquent calculus, Part II

    Giorgi Japaridze Pages 213-259
    Look Inside Get Access