A Lifting Argument for the Generalized Grigorieff Forcing. - Radek Honzik; Jonathan Verner (Notre Dame J. Formal Log., 2016)

Towers in filters, cardinal Invariants, and Luzin Type families. - Jörg Brendle; Barnabás Farkas; Jonathan Verner (J. Symb. Log., 2018)

Set-theoretic blockchains. - Miha E. Habic; Joel David Hamkins; Lukas Daniel Klausner; Jonathan Verner; Kameryn J. Williams (Arch. Math. Log., 2019)

PyVallex: A Processing System for Valency Lexicon Data. - Jonathan Verner; Anna Vernerová (LREC, 2020)

Completely separable MAD families and the Modal Logic of βω. - Tomás Lávicka; Jonathan L. Verner (J. Symb. Log., 2022)