All Stories

  1. New bounds on the strength of some restrictions of Hindman’s Theorem

    Article • Computability, May 2020, IOS Press

    Konrad Zdanowski, Lorenzo Carlucci

  2. A Modal Logic of a Truth Definition for Finite Models*

    Article • Fundamenta Informaticae, February 2019, IOS Press

    Konrad Zdanowski

  3. One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability

    Article • Fundamenta Informaticae, February 2019, IOS Press

    Konrad Zdanowski